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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Propagate equality and inequality
#18
shaobo-he
opened
5 years ago
0
study griggio/fmcad12/newton.6.3.i.smt2
#17
shaobo-he
opened
5 years ago
1
Use PySMT's simplification
#16
shaobo-he
opened
5 years ago
0
Try VNS or first improvement heuristic
#15
shaobo-he
opened
5 years ago
0
add special values to neighborhood relations
#14
shaobo-he
opened
5 years ago
0
top-level conjunctions (assertions) should not be unnested
#13
shaobo-he
opened
5 years ago
0
Implement variable selection
#12
shaobo-he
opened
5 years ago
1
Handle ite
#11
shaobo-he
opened
5 years ago
0
try score functions based on the number of bit-flips
#10
shaobo-he
opened
5 years ago
0
add logging facility
#9
shaobo-he
opened
5 years ago
0
special case float/double
#8
shaobo-he
opened
5 years ago
0
use explicit seeds
#7
shaobo-he
closed
5 years ago
0
avoid computing score multiple times
#6
shaobo-he
opened
5 years ago
0
random/bv function is broken
#5
shaobo-he
closed
5 years ago
0
add types to score functions
#4
shaobo-he
opened
5 years ago
0
make test smt scripts as submodules
#3
shaobo-he
closed
5 years ago
0
add unit tests
#2
shaobo-he
opened
5 years ago
0
let-bindings should not be desugared
#1
shaobo-he
opened
5 years ago
1