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##################################################

GitHub | mwahbi | 6 months ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  1. 1

    GitHub comment 438#243083825

    GitHub | 6 months ago | 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##################################################

    Root Cause Analysis

    1. 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()
    2. org.chocosolver.solver
      Solver.solve
      1. org.chocosolver.solver.Solver.searchLoop(Solver.java:337)
      2. org.chocosolver.solver.Solver.solve(Solver.java:265)
      2 frames
    3. org.chocosolver
      Example.main
      1. org.chocosolver.Example.main(Example.java:45)
      1 frame
    4. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:497)
      4 frames
    5. IDEA
      AppMain.main
      1. com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)
      1 frame