New opam release

Open terencode opened this issue 1 year ago • 4 comments

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?

Oct 14 '24 13:10 terencode

Hi,

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

Oct 14 '24 14:10 Gbury

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

Oct 14 '24 16:10 terencode

Gentle ping in case you forgot 😊

Oct 31 '24 13:10 terencode

@c-cube @Gbury

Nov 08 '25 14:11 terencode