Search results

NullPointerException when checking the consistency of a violated NoGood expressed over singleton variables

Status: Open.

#78 In radsz/jacop;

· thomasleaute opened on Feb 18, 2026

/Users/kris/jacop-mzn/jacop in src/main/minizinc/org.jacop.msc causes jacop to look for files in a non-existent directory

Status: Open.

#75 In radsz/jacop;

· yurivict opened on Nov 5, 2024

Jacop-4.10 is reported in MiniZincIDE as JaCoP-4.9

Status: Open.

#74 In radsz/jacop;

· yurivict opened on Nov 5, 2024

Vulnerability issue by JaCoP 4.10.0

Status: Open.

#72 In radsz/jacop;

· youssef7777 opened on Jul 26, 2024

Version 4.11, f5444652, network_flow_cost: missing solutions

Status: Open.

#71 In radsz/jacop;

· matsc-at-sics-se opened on Jan 26, 2024

geost.ObstacleObjectFrame.timeOnlyCheck() should throw FailExceptions instead of using asserts

Status: Open.

#64 In radsz/jacop;

· thomasleaute opened on Jul 11, 2023

SoftAllDifferent and SoftGCC incorrectly throw AssertionErrors on infeasible stores

Status: Open.

#47 In radsz/jacop;

· thomasleaute opened on Dec 13, 2020

AmongVar.impose() handles already grounded variables incorrectly

Status: Open.

#46 In radsz/jacop;

· thomasleaute opened on Dec 13, 2020

4.6 :RegularExpressionParser is broken

Status: Open.

#30 In radsz/jacop;

· xgillard opened on Feb 21, 2019