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

Fix warnings #29

Closed gasche closed 6 months ago

gasche commented 6 months ago

Running make on the mSAT repository results in about a dozen of warnings. The present PR fixes all the warnings.

(I updated the dune language from 1.1 to 3.0. This is not strictly necessary but I had trouble with the dune syntax in places, I had to read the documentation again, and wanted to make sure that the behavior was consistent with the current-ish documentation.)

Gbury commented 6 months ago

This looks good, thanks for the contribution !