Constraint Based Analysis

Implementation of an algorithm from chapter 3 of "Principles of Program Analysis" by Flemming Nielson, Hanne R. Nielson, Chris Hankin.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
app		app
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
cba.cabal		cba.cabal
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback