@aureooms/js-satBoolean formula satisfiability algorithms for JavaScriptNPSATalgorithmsboolean formulacompletecomplexitycomputer sciencejavascriptjssatisfiability3.0.0 • Published 3 years ago
@problem-solving/satBoolean formula satisfiability algorithms for JavaScriptNPSATalgorithmsboolean formulacompletecomplexitycomputer sciencejavascriptjssatisfiability4.0.2 • Published 2 years ago