Трябва да назова някои твърдения в моя модел z3, така че да може да генерира ненаситени ядра.
Мога да направя това ръчно по следния начин:
(assert (! (assertion) :named x))
Просто трябва да го направя с помощта на .NET API директно.
някаква помощ?