GitHub - tip-org/tools-paper

Name		Name	Last commit message	Last commit date
Latest commit History 110 Commits
.gitignore		.gitignore
Filter.hs		Filter.hs
Makefile		Makefile
bibfile.bib		bibfile.bib
double-curried.smt2		double-curried.smt2
example.smt2		example.smt2
latex.template		latex.template
llncs.cls		llncs.cls
paper.md		paper.md
prop_85.smt2		prop_85.smt2
rudimentophocles-in.smt2		rudimentophocles-in.smt2
rudimentophocles-out-1		rudimentophocles-out-1
rudimentophocles-out-2		rudimentophocles-out-2
rudimentophocles-out-3		rudimentophocles-out-3