OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
2
stars
0
forks
source link
top-level conjunctions (assertions) should not be unnested #13
Open
shaobo-he opened 5 years ago