Hello!

You should start by taking a look at report.pdf. Examples of our analyzer in use can be found in examples.scm.

Name		Name	Last commit message	Last commit date
Latest commit History 175 Commits
.gitignore		.gitignore
README.md		README.md
analyze-constraints-support.scm		analyze-constraints-support.scm
analyze-constraints.scm		analyze-constraints.scm
constraints.scm		constraints.scm
cvmap.scm		cvmap.scm
examples.scm		examples.scm
get-constraints-support.scm		get-constraints-support.scm
get-constraints.scm		get-constraints.scm
ghelper.scm		ghelper.scm
load.scm		load.scm
printers.scm		printers.scm
report.pdf		report.pdf
report.tex		report.tex
rewrite.scm		rewrite.scm
types.scm		types.scm
utils.scm		utils.scm

Provide feedback