What is the easiest way to execute the examples? I am not an expert of (c)make...

9 views

Skip to first unread message

Czuczi András

unread,

Oct 30, 2019, 2:20:24 PM10/30/19

to Boolector

Greetings!

I followed the build and usage instructions in the README on https://github.com/Boolector/boolector and now I am stuck. How do I execute some sample inputs?

Thanks for your help!

András

Mathias Preiner

unread,

Oct 30, 2019, 2:23:25 PM10/30/19

to Boolector

Hi András,

If you mean the examples in the repository, you will find the compiled example binaries in build/bin/examples (after issuing commands: cd build; make examples). You can find the Boolector binary in build/bin/.