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?
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?