0.1.1625 May 2016 03:21 minor feature: Use of the deprecated type auto_ptr has been replaced with a home-made workalike. This version is known to compile with GCC 4.9.2, 5.3.0 and 6.1.0. A C example program has been added.
07 Dec 2014 17:24 minor feature: This version fixes a bug with some expressions whose raw DNF can contain terms of the form a a. It also fixes a bug with the negation of a DNF composed only of useless terms, like (a !a a !a).
ManageYou can also help out here by:
← Update project
or flagging this entry for moderator attention.