yav / simple-smt

yav/simple-smt Issues

adding solvers which provide bindings to parse SMTLib2
Closed a year ago2
sexprToVal fails for some Real representations
Updated 2 years ago3
need a reliable way to kill a solver process
Updated 2 years ago3
yices-smt2 sometimes returns real value without decimal point
Updated 2 years ago1
provide a Logger that writes to stderr
Updated 2 years ago2
examples/ex1: Couldn't match expected type: IO Logger ...
Updated 2 years ago2
define and use application-specific exceptions, instead of `fail`
Updated 2 years ago
addMany should have special case for one argument
Updated 2 years ago
output format of negative Reals not accepted by cvc5
Updated 2 years ago