New:Introducing Socket Scanning for VS Code Marketplace Extensions.Learn more →
Get Started
r

russellw

npm

147

total weekly downloads

Packages

Current Co-maintainers

Former Co-maintainers

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