npm.io

Tableaux Packages

propsat

Propositional Satisfiability Checker

propositional Boolean logic resolution tableaux satisfiability genetic algorithm walksat

2.1.0 • Published 3 years ago

contact@npm.io