Quickdocs

Q

snark

2016-04-21

The Snark Theorem Prover

Upstream URL

github.com/nilqed/SNARK

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE
README
Provided Systems

snark

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-implementation

snark-agenda

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

  • snark-deque

  • snark-lisp

  • snark-sparse-array

snark-auxiliary-packages

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

    None

snark-deque

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

  • snark-lisp

snark-dpll

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

  • snark-lisp

snark-examples

Examples for Snark

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark

snark-feature

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

  • snark-lisp

snark-implementation

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-agenda

  • snark-auxiliary-packages

  • snark-deque

  • snark-dpll

  • snark-feature

  • snark-infix-reader

  • snark-lisp

  • snark-numbering

  • snark-pkg

  • snark-sparse-array

snark-infix-reader

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

  • snark-lisp

snark-lisp

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

snark-loads

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

    None

snark-numbering

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

  • snark-lisp

  • snark-sparse-array

snark-pkg

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-dpll

snark-sparse-array

The Snark Theorem Prover

License:
MPL 1.1, see file LICENSE
Authors:
Mark E. Stickel, SRI International
Dependencies:

  • snark-auxiliary-packages

  • snark-lisp

Dependencies (0)

    Dependents (0)

      • GitHub
      • Quicklisp