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

10 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/.

Mathias
Reply all
Reply to author
Forward
0 new messages