search

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
335 stars 62 forks source link

How to use the `--sat-engine-n-threads` flag #142

Closed ghost closed 4 years ago

ghost commented 4 years ago

I was wondering how to use the --sat-engine-n-threads flag. I tried --sat-engine-8-threads, --sat-engine-n-threads 8, --sat-engine-n-threads=8, none of which worked. Thanks!

mpreiner commented 4 years ago

This option only works if you compile Boolector with CryptoMiniSat. But then it should be --sat-engine-n-threads 8 or --sat-engine-n-threads=8.

ghost commented 4 years ago

Thank you:)