-
- Downloads
Refactored build process. Replaced ant by gradle
Showing
- .classpath 0 additions, 11 deletions.classpath
- .gitignore 6 additions, 0 deletions.gitignore
- .project 0 additions, 17 deletions.project
- build.gradle 72 additions, 0 deletionsbuild.gradle
- build.xml 0 additions, 120 deletionsbuild.xml
- lib/junit-4.8.2.jar 0 additions, 0 deletionslib/junit-4.8.2.jar
- lib/kodkod.jar 0 additions, 0 deletionslib/kodkod.jar
- lib/libminisat.so 0 additions, 0 deletionslib/libminisat.so
- lib/libminisatprover.so 0 additions, 0 deletionslib/libminisatprover.so
- lib/libzchaff.so 0 additions, 0 deletionslib/libzchaff.so
- lib/org.sat4j.core.jar 0 additions, 0 deletionslib/org.sat4j.core.jar
- lib/prolog.jar 0 additions, 0 deletionslib/prolog.jar
- lib/sablecc.jar 0 additions, 0 deletionslib/sablecc.jar
- src/main/java/de/stups/probkodkod/EOFLexer.java 0 additions, 0 deletionssrc/main/java/de/stups/probkodkod/EOFLexer.java
- src/main/java/de/stups/probkodkod/ImmutableProblem.java 0 additions, 0 deletionssrc/main/java/de/stups/probkodkod/ImmutableProblem.java
- src/main/java/de/stups/probkodkod/IntegerIntervall.java 0 additions, 0 deletionssrc/main/java/de/stups/probkodkod/IntegerIntervall.java
- src/main/java/de/stups/probkodkod/KodkodAnalysis.java 0 additions, 0 deletionssrc/main/java/de/stups/probkodkod/KodkodAnalysis.java
- src/main/java/de/stups/probkodkod/KodkodInteraction.java 0 additions, 0 deletionssrc/main/java/de/stups/probkodkod/KodkodInteraction.java
- src/main/java/de/stups/probkodkod/KodkodSession.java 0 additions, 0 deletionssrc/main/java/de/stups/probkodkod/KodkodSession.java
- src/main/java/de/stups/probkodkod/Problem.java 0 additions, 0 deletionssrc/main/java/de/stups/probkodkod/Problem.java
Loading
Please register or sign in to comment