Browse by Keyword: "satisfiability"

Page 1

2-sat 2SAT solver

crackle JavaScript predicate, comparator, equality, and utility functions

horn-sat Solves HORNSAT

propsat Propositional Satisfiability Checker

Page 1

npm loves you