Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by mwahbi
, 1 year ago
)]) ================================================== 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##################################################
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)