issues
search
yav
/
simple-smt
BSD 3-Clause "New" or "Revised" License
20
stars
20
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Handle design pattern
#24
gabrielhdt
closed
2 years ago
0
add a Z3 backend, and more
#23
qaristote
closed
1 year ago
4
adding solvers which provide bindings to parse SMTLib2
#22
qaristote
closed
1 year ago
2
need a reliable way to kill a solver process
#21
jwaldmann
opened
2 years ago
3
yices-smt2 sometimes returns real value without decimal point
#20
jwaldmann
opened
2 years ago
1
define and use application-specific exceptions, instead of `fail`
#19
jwaldmann
opened
2 years ago
0
addMany should have special case for one argument
#18
jwaldmann
opened
2 years ago
0
output format of negative Reals not accepted by cvc5
#17
jwaldmann
opened
2 years ago
0
sexprToVal fails for some Real representations
#16
jwaldmann
opened
2 years ago
3
provide a Logger that writes to stderr
#15
jwaldmann
opened
2 years ago
2
examples/ex1: Couldn't match expected type: IO Logger ...
#14
jwaldmann
opened
2 years ago
2
terminate the solver process on stop
#13
temyurchenko
closed
2 years ago
7
Add hlint action.
#12
philderbeast
opened
2 years ago
0
Avoid space before closing parens. Doc snippets too.
#11
philderbeast
closed
2 years ago
1
Quoted symbols and recursive functions
#10
simonjwinwood
closed
3 years ago
0
Expose loadString
#9
jeapostrophe
closed
5 years ago
4
qualified modules
#8
jota191
closed
5 years ago
1
Use more accurate lower bound on `base`
#7
hvr
closed
5 years ago
1
Expose the Solver constructor
#6
cocreature
closed
6 years ago
1
Add declare-datatype
#5
cocreature
closed
6 years ago
0
Explicitly close the in/out/err `Handle`s
#4
robdockins
closed
7 years ago
2
New logging stuff
#3
elliottt
closed
9 years ago
0
Add versions of setLogic and setOption that accept unsupported
#2
elliottt
closed
9 years ago
0
Add zeroExtend and signExtend
#1
glguy
closed
9 years ago
0