add smt2 generic solver

SRI-CSL / sally

A model checker for infinite-state systems.

http://sri-csl.github.io/sally/

GNU General Public License v2.0

69 stars 12 forks source link

add smt2 generic solver #11

Closed dddejan closed 10 years ago

dddejan commented 10 years ago

with options for

which binary/script to run
whether to keep the smt2 files

dddejan commented 10 years ago

Works:

./src/sal2 -v 1 --engine kind_engine --solver generic_solver --generic-solver-script /home/dejan/workspace/yices2/yices2.sh --generic-solver-log output /home/dejan/workspace/sal2/test/regress/parser/example6.b.mcmt