Skip to content

Resolve "re-visit SMT solver interfaces"

waldmann requested to merge 455-re-visit-smt-solver-interfaces into master

introduce simple-smt bindings

Closes #455 (closed)

Edited by waldmann

Merge request reports