Pure Java IC3 Implementation for RERS 2014 http://rers-challenge.org/2014Isola/
Requires Maven version 3+ to compile.
Run: mvn compile
Run: mvn install
The .jar file will be located in target/ic3cub3-<version>-*.jar
-
Notifications
You must be signed in to change notification settings - Fork 0
SwiftPengu/IC3CUB3
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
IC3 Implementation for RERS
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published