search

Gbury / mSAT

A modular sat/smt solver with proof output.
https://gbury.github.io/mSAT/
Apache License 2.0
95 stars 8 forks source link

ocamlformat #21

Closed c-cube closed 3 years ago

c-cube commented 4 years ago

to be discussed