question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Hi, I am Francesco from the University of Trento, I am working on a project with other researchers and we encountered a difficulty when using Choco on a couple of instances (attached here: choco-instances.zip), which we was hoping you could kindly help us with. In essence, the problem is that Choco is able to find an optimal solution, whereas all other tested solvers (OptiMathSAT, Picat, Gecode, HaifaCSP, G12-FD, iZplus,OR-tool), return UNSAT. The minizinc problem was encoded as a flatzinc instance using the Choco library of global constraints (we tried also to translate the minizinc input into flatzinc without using the library of global constraints and the result didn’t change). The tool was run with the command:

java -cp .: path/to/choco-parsers-4.0.4-with-dependencies.jar org.chocosolver.parser.flatzinc.ChocoFZN file.fzn

We used this version of the tool: choco-parsers-4.0.4-with-dependencies

Thanks for your assistance, Best Regards

Issue Analytics

  • State:closed
  • Created 5 years ago
  • Comments:5 (3 by maintainers)

github_iconTop GitHub Comments

1reaction
cprudhomcommented, Dec 5, 2018

Or simply that the constraint is not correctly defined.

1reaction
cprudhomcommented, Dec 5, 2018

Thank you for the bug reporting. There is something in the flatzinc file that is detected as an inconsistency by other solver:

constraint bool_eq(X_INTRODUCED_2817_,false);
constraint array_bool_and([],X_INTRODUCED_2817_):: defines_var(X_INTRODUCED_2817_);

I assume that the other solvers interpret the second constraint as “X_INTRODUCED_2817_ is true”, which contradicts the first constraint.

Maybe I should also consider that “void -> true” instead of “void -> undef”.

Best regards, CP

Read more comments on GitHub >

github_iconTop Results From Across the Web

How do we find potential bugs in software? - Quora
Start by defining what a software bug is. At a high level, a bug is a functionality that is not working as expected....
Read more >
Every Line Is a Potential Bug
Every Line Is a Potential Bug ... The wait() call blocks the thread, waiting for the notifyAll() from the thread that puts the...
Read more >
Every Line of Code is a Potential Bug - Cloud Security - Medium
It's harder to manage, and as the title says, every line of code is a potential bug. Fewer lines of code generally means...
Read more >
Brown marmorated stink bug, Halyomorpha halys (Stål ...
Halyomorpha halys (Stål), the brown marmorated stink bug, is a highly invasive insect species due in part to its exceptionally high levels ...
Read more >
SQL Server Management Studio Potential Bug
SQL Server Management Studio Potential Bug. Hi there, Since a week ago we have had a problem when editing SQL tables via the...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found