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
.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

Navigation Menu