npm

avatar

russellw


Russell Wallace

Packages 9

Description

Clean JavaScript code

Publisher

published 5.2.02 years ago

Description

Theorem prover

Publisher

published 3.0.22 years ago

Description

Parser for the Dimacs file format

Publisher

published 2.3.22 years ago

Description

Parser for the TPTP file format

Publisher

published 2.6.22 years ago

Description

Unification in first-order logic

Publisher

published 1.0.12 years ago

Description

Represent logic terms as conjunction of clauses

Publisher

published 3.3.02 years ago

Description

Expand command line file args

Publisher

published 1.1.12 years ago

Description

Miscellaneous useful functions

Publisher

published 1.4.12 years ago

Description

Sort DIMACS format files by number of variables

Publisher

published 1.0.02 years ago