Change the Sudoku example such that Boolector does not init the IntManager
@@ -148,7 +148,11 @@ public class Sudoku {
private SudokuSolver(SolverContext pContext) {
context = pContext;
bmgr = context.getFormulaManager().getBooleanFormulaManager();
+ if (context.getSolverName() != Solvers.BOOLECTOR) {
imgr = context.getFormulaManager().getIntegerFormulaManager();
+ } else {
+ imgr = null;
+ }
}
abstract S getSymbols();
