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

New opam release #31

Open terencode opened 1 month ago

terencode commented 1 month ago

Hi,

Commit ab4d1cbec98bd3bc92e6833d08999853eea7dc95 solves an annoying issue where Msat_tseitin sometimes fails to put into CNF formulas such as Not (True <-> True). It is however not included in the current opam release. Is there any chance to tag a new version and open a new PR to the opam repo?

Gbury commented 1 month ago

Hi,

That's a good point, I'll try and make a new release this week !

terencode commented 1 month ago

Great, thank you! It was very nice finding this well thought-out and well-documented library :)

terencode commented 2 weeks ago

Gentle ping in case you forgot 😊