org.chocosolver.solver.exception.SolverException

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • GitHub comment 438#243083825
    via GitHub by mwahbi
    ,
    • org.chocosolver.solver.exception.SolverException: The current solution does not satisfy the checker. ################################################## ################################################## FAILURE >> NogoodConstraint ([PropNogoods(x, z, y)]) ================================================== org.chocosolver.solver.search.strategy.decision.DecisionPath@42110406 SAT Model[nogoods], 23 Solutions, Resolution time 0.044s, 48 Nodes (1,090.9 n/s), 43 Backtracks, 0 Fails, 0 Restarts################################################## at org.chocosolver.solver.Solver.searchLoop(Solver.java:337) at org.chocosolver.solver.Solver.solve(Solver.java:265) at org.chocosolver.Example.main(Example.java:45) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:497) at com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)
    No Bugmate found.