Fixing Kind 2.0 XML Stuff

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

Closed backesj closed 9 years ago

agacek commented 9 years ago

I merged in the XML parse stuff, but threw away the classpath and other configuration specific things.