Clausula is an Automatic Clause Deductor licensed under the GNU GPL. From a set of clauses, this software can determinate whether or not the set is satisfacible. Clausula has been designed for educational purposes, specially for Logic degree curses.
Categories
MathematicsLicense
GNU General Public License version 2.0 (GPLv2)Follow Clausula
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Clausula!