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

Use CMake to compile examples #38

Closed mpreiner closed 3 years ago

PiFlUn commented 4 years ago

Did you find another way to compile them?

aniemetz commented 4 years ago

@PiFlUn the examples are currently compiled by default, you can find them in build/examples.

This issue addresses the fact that we want to have the examples be compiled with a separate cmake configuration (a "cmake subproject" so to speak, which is then included in the Boolector cmake configuration to test the setup).

aniemetz commented 3 years ago

We decided to keep the setup as is.