search

Gbury / mSAT

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

some refactoring #2

Closed c-cube closed 8 years ago

c-cube commented 8 years ago

I ran ocp-indent on all the ml{,i} files because at some places, indentation was really ugly.