New opam release

[terencode]

Hi,

Commit ab4d1cb 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]

Hi,

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

[terencode]

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

[terencode]

Gentle ping in case you forgot 😊