search

loonwerks / jkind

JKind - An infinite-state model checker for safety properties in Lustre
http://loonwerks.com/tools/jkind.html
Other
52 stars 32 forks source link

Add ant build to jkind #24

Closed pr-martin closed 9 years ago

pr-martin commented 9 years ago

Adds the build.xml files to build the jkind projects and create the jar file. Does require ant installation (I'm using 1.9.6). Can be executed by "ant clean", "ant all" or using the makefile... "make clean" and "make all".