GitHub - luke36/scope

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
minisat @ 281c31e		minisat @ 281c31e
.gitignore		.gitignore
.gitmodules		.gitmodules
F.lisp		F.lisp
all-in-one.lisp		all-in-one.lisp
concl.pdf		concl.pdf
do-list.lisp		do-list.lisp
do.lisp		do.lisp
evil.lisp		evil.lisp
let-list.lisp		let-list.lisp
let.lisp		let.lisp
letrec-list.lisp		letrec-list.lisp
letrec.lisp		letrec.lisp
logic.lisp		logic.lisp
match.lisp		match.lisp
readme.txt		readme.txt
scope.cpp		scope.cpp

Repository files navigation

Requires a C++ compiler supporting C++17 or higher.

Build and test (for example) by:
  $ cd minisat
  $ make -j4
  $ cd ..
  $ g++ -I minisat -L minisat/build/release/lib -O2 -o scope scope.cpp -lminisat
  $ ./scope let.lisp