147
total weekly downloads
10 packages
ayane
Theorem prover
clause-normal-form
Represent logic terms as conjunction of clauses
command-files
Expand command line file args
dimacs-parser
Parser for the Dimacs file format
iop
Ship Docker Anywhere
jsclean
Clean JavaScript code
sort-dimacs
Sort DIMACS format files by number of variables
terms
This package is no longer supported and has been deprecated. To avoid malicious use, npm is hanging on to the package name.
tptp-parser
Parser for the TPTP file format
unification
Unification in first-order logic