avatar

    russellw


    Russell Wallace

    Packages 9

    • Description

      Clean JavaScript code

      Publisher

      published 5.2.04 years ago
    • Description

      Theorem prover

      Publisher

      published 3.0.24 years ago
    • Description

      Parser for the Dimacs file format

      Publisher

      published 2.3.24 years ago
    • Description

      Parser for the TPTP file format

      Publisher

      published 2.6.24 years ago
    • Description

      Unification in first-order logic

      Publisher

      published 1.0.14 years ago
    • Description

      Represent logic terms as conjunction of clauses

      Publisher

      published 3.3.04 years ago
    • Description

      Expand command line file args

      Publisher

      published 1.1.14 years ago
    • Description

      Miscellaneous useful functions

      Publisher

      published 1.4.14 years ago
    • Description

      Sort DIMACS format files by number of variables

      Publisher

      published 1.0.04 years ago