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

special case float/double #8

Open shaobo-he opened 5 years ago

shaobo-he commented 5 years ago

We should be able to get better speed. For example, use ffi to cast between bv and fp.

However, it's unclear to me how to use float in Racket.