skip to:
content
package search
sign in
❤
Pro
Teams
Pricing
Documentation
npm
Search
Sign Up
Sign In
Search results
1 packages found
propsat
Propositional Satisfiability Checker
propositional
Boolean
logic
resolution
tableaux
satisfiability
genetic algorithm
walksat
mafu
published 2.1.0 • a year ago
published 2.1.0 a year ago
M
Q
P