4 ms·

Hi! I’m the author of Creusot, Sarek did some amazing work on CreuSAT, he also had to teach himself formal verification and SAT solving along the way. If you h

by xavxav 4y ago

Hi! I’m the author of Creusot, Sarek did some amazing work on CreuSAT, he also had to teach himself formal verification and SAT solving along the way. If you have any questions about CreuSAT or Creusot, I’d be happy to answer

rch 4y ago
At first glance I didn't see a license in the repo. Am I missing it?
- Sarek 4y ago
  Ah, I knew I forgot something! Thanks, I licensed it under the MIT license now:)
  - rch 4y ago
    Thanks!
OscarCunningham 4y ago
How does it compare to kissat in terms of speed?
dralley 4y ago
Some usage examples and performance comparisons against other solvers (e.g. minisat, varisat) would be nice.
- xavxav 4y ago
  Check out Sarek’s thesis in the evaluation section: https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf. In general it’s roughly at the level of microsat so worse than minisat and kissat, but not garbage either.