How do you specify lingeling switches from boolector executable

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

332 stars 62 forks source link

How do you specify lingeling switches from boolector executable #74

Closed pritam-roy-gmail closed 4 years ago

pritam-roy-gmail commented 4 years ago

Hi, We used to call "boolector --lingeling --lingeling-opts=elim=0" to set a particular option in the lingeling in older versions. Now the same option fails. Can you please let me know how we can do the same with the current boolector version? If it is not there would you be able to add the feature?

mpreiner commented 4 years ago

This option was removed a long time ago iirc. Lingeling supports setting options via environment variables. Have you already tried LGLELIM=0 boolector ...?