Skip to content

Instantly share code, notes, and snippets.

@naveensundarg

naveensundarg/EC_Simulation.lisp Secret

Forked from IJCAI2017-3841/EC_Simulation.lisp
Created July 21, 2017 08:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save naveensundarg/0aa27047b95bb0b199f30007dd8ef375 to your computer and use it in GitHub Desktop.
Save naveensundarg/0aa27047b95bb0b199f30007dd8ef375 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
EC_Simulation.lisp
;; assuming you have already built SNARK.
;; See http://www.ai.sri.com/~stickel/snark.html for instructions.
(load "./prover/snark-20120808r02/snark-system.lisp")
(make-snark-system)
(load "./prover/snark-20120808r02/snark-interface.lisp")
(load "./prover/dde.lisp")
;; Assuming you are in the SNARK-USER package run this:
(all-simulations)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment