CNF-toolkit is a simple library for constructing and manipulating boolean formulae in conjunctive normal form.
License
GNU Library or Lesser General Public License version 2.0 (LGPLv2), GNU General Public License version 2.0 (GPLv2)Follow CNF Toolkit
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of CNF Toolkit!