euclid

Control Flow Graph and Horn Clause generator.

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.idea		.idea
gradle/wrapper		gradle/wrapper
src/main		src/main
README.md		README.md
build.gradle		build.gradle
example.gv		example.gv
example.imp		example.imp
example.png		example.png
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle

Provide feedback