Name		Name	Last commit message	Last commit date
parent directory ..
.settings		.settings
src		src
uncompile/taglet		uncompile/taglet
.classpath		.classpath
.gitignore		.gitignore
.project		.project
LICENSE		LICENSE
README.md		README.md
bnd.bnd		bnd.bnd
release.properties		release.properties
release.xml		release.xml

README.md

kodkod-star

Kodkod with arithmetic overflow prevention and higher-order solving extensions