Presberger

An automaton based satisfiability checker for Pressburger arithmetic made as a guide for the Theory of Computation unit at the University of Bristol

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
src		src
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
presburger.cabal		presburger.cabal

Provide feedback