UNPKG
propositional
Version:
latest (1.0.2)
1.0.2
1.0.1
1.0.0
Propositional logic symbolic computation library
github.com/p2js/propositional
p2js/propositional
propositional
/
lib
/
cnf
4 files
Filename
Content Type
Size
../
cnfExpression.d.ts
text/typescript
540 B
cnfExpression.js
text/javascript
6.29 kB
dpll.d.ts
text/typescript
130 B
dpll.js
text/javascript
5.06 kB