search

conjure-cp / conjure-notebook

3 stars 2 forks source link

Error when using z3-bv #19

Open sasha704 opened 1 year ago

sasha704 commented 1 year ago 
%%conjure
find x: int(0..5)

Run with z3-bv produces output:

Exception: Error:
    Savile Row stdout: Created output file for domain filtering conjure-output/model000001.eprime-minion
Created output SMT file conjure-output/model000001.eprime-smt

    Savile Row stderr: ERROR: boolector exited with error code:109 and error message:
Error: invalid command line option: -m
For usage information: z3 -h

    Savile Row exit-code: 1