Skip to content

Commit

Permalink
pardinus updated
Browse files Browse the repository at this point in the history
  • Loading branch information
@nmacedo
nmacedo committed Oct 1, 2020
1 parent dca5028 commit d75b971
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion org.alloytools.pardinus
Submodule org.alloytools.pardinus updated 5 files
+1 −1 pom.xml
+13 −3 src/main/java/kodkod/engine/TemporalPardinusSolver.java
+3 −0 src/main/java/kodkod/instance/Instance.java
+4 −0 src/main/java/kodkod/instance/TemporalInstance.java
+85 −0 src/test/java/kodkod/test/pardinus/temporal/ExplorationQualityTests.java

0 comments on commit d75b971

Please sign in to comment.