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
add types to score functions
#4
Open
shaobo-he
opened
5 years ago
shaobo-he
commented
5 years ago
we'd better use rationals as scores.
we'd better use rationals as scores.