npm.io

Walksat Packages

propsat

Propositional Satisfiability Checker

propositional Boolean logic resolution tableaux satisfiability genetic algorithm walksat

2.1.0 • Published 1 year ago

contact@npm.io