propsat

Propositional Satisfiability Checker

v2.1.0 URL: https://unpkg.com/propsat@2.1.0/index.js

Open Browse Files

propositional Boolean logic resolution tableaux satisfiability genetic algorithm walksat