Skip to content
This repository was archived by the owner on May 23, 2022. It is now read-only.

Commit 3ba1a82

Browse files
manlevietmanleviet
committed
Add a test for Choco Solver error (change to use propagate instead of solve)
1 parent 0177019 commit 3ba1a82

File tree

2 files changed

+1621
-1
lines changed

2 files changed

+1621
-1
lines changed

‎pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
<groupId>at.tugraz.ist.ase</groupId>
88
<artifactId>choco-kb</artifactId>
9-
<version>1.1.9-dev</version>
9+
<version>1.1.11-dev</version>
1010
<packaging>jar</packaging>
1111

1212
<properties>

0 commit comments

Comments
 (0)