Skip to content

Commit

Permalink
added debug output
Browse files Browse the repository at this point in the history
  • Loading branch information
lukasPfeifer committed Mar 13, 2024
1 parent a635657 commit 1d3de09
Showing 1 changed file with 2 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -259,6 +259,8 @@ protected void addConstraintToSolver(Constraint constraint) {
}
} catch (org.sat4j.specs.ContradictionException e) {
solverValid = false;
System.out.println("#############################################");
System.out.println("constraint which causes the bug: "+constraint);
throw new ContradictionException(e);
}
}
Expand Down

0 comments on commit 1d3de09

Please sign in to comment.