Не могу понять, как установить логику и соответствующие опции в Scala^Z3. Угадайте его очень просто, но я просто не могу найти его .. так что я действительно был бы признателен за помощь там;)Set Logic/Options в Scala^Z3
С уважением, Florian
пс .: Scala 3.2 и Z3 4.0 работа действительно отлично вместе :)
в случае, если вы все еще ищете ...
Есть два способа установить параметры:
Z3Config, например. new Z3Config("MODEL" -> true)..setParamValue на экземпляр Z3Config, например. myConf.setParamValue("MODEL", true).Теперь, чтобы ответить на конкретный вопрос о том, как установить логику, что, к сожалению, не поддерживается API Z3 в. Вы можете взглянуть на ответ Льва на this similar question for C#.
Обратите внимание, что, строго говоря, вам действительно не нужна эта опция при использовании API: все теории могут использоваться, и Z3 волшебным образом выяснит, что делать.
А что такое "Scala 3.2"? – Rogach
Я использую эту настройку: res0: String = Z3 4.0 (build 0, rev. 0), ScalaZ3 3.2.c (в dev.) – user1428162