issues
search
shaobo-he
/
sls
OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
Other
2
stars
0
forks
source link
Use PySMT's simplification
#16
Open
shaobo-he
opened
5 years ago
shaobo-he
commented
5 years ago
At least it's a proper tool.
At least it's a proper tool.