search

kino-mc / rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
Apache License 2.0
65 stars 14 forks source link

solver commands through env vars, changes+readme updates, minor doc updates #24

Closed AdrienChampion closed 3 years ago

AdrienChampion commented 3 years ago

Solver commands can now be passed through environment variables, see the conf module.