Use ProbLog 2.2.4

julianmendez · Dec 30, 2023 · c48e069 · c48e069
1 parent 64e78e6
commit c48e069
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 5 deletions.
diff --git a/docs/RELEASE-NOTES.md b/docs/RELEASE-NOTES.md
@@ -7,7 +7,7 @@
   - build: mvn clean install
   - release: jproblog/target/jproblog-0.2.0.jar
   - features:
-    - it downloads ProbLog 2.1
+    - it downloads ProbLog 2.2.4
   - deprecated:
     - it does not longer support Python 2
     - it does not longer use Jython

diff --git a/jproblog/src/main/java/de/tudresden/inf/lat/jproblog/ProblogProcessor.java b/jproblog/src/main/java/de/tudresden/inf/lat/jproblog/ProblogProcessor.java
@@ -26,11 +26,16 @@
  */
 public class ProblogProcessor implements Function<String, String> {
 
-	static final char SPACE_CHAR = ' ';
-	static final char NEW_LINE_CHAR = '\n';
+	public static final String PROBLOG_VERSION = "2.2.4";
+
+	static final String PROBLOG_URI = "https://github.com/ML-KULeuven/problog/archive/refs" +
+			"/tags/v"+ PROBLOG_VERSION + ".zip";
+	static final String PROBLOG_ZIP_FILE_NAME = "problog-" + PROBLOG_VERSION + ".zip";
 	public static final URI DEFAULT_PROBLOG_DOWNLOAD_URI = URI
-			.create("https://github.com/ML-KULeuven/problog/archive/refs/heads/master.zip");
+			.create(PROBLOG_URI);
 
+	static final char SPACE_CHAR = ' ';
+	static final char NEW_LINE_CHAR = '\n';
 	static final String FILE_SEPARATOR = System.getProperty("file.separator");
 
 	static final String USER_HOME_DIRECTORY = System.getProperty("user.home");
@@ -47,7 +52,7 @@ public class ProblogProcessor implements Function<String, String> {
 	static final String DEFAULT_PROBLOG_INSTALLATION_DIRECTORY = JPROBLOG_WORKING_DIRECTORY;
 
 	static final String DEFAULT_PROBLOG_ZIP_FILE = JPROBLOG_WORKING_DIRECTORY + FILE_SEPARATOR
-			+ "problog-master.zip";
+			+ PROBLOG_ZIP_FILE_NAME;
 
 	static final String PROBLOG_CLI = "problog-cli.py";
 	static final String PROBLOG_INSTALL_COMMAND = "install";