Change the Sudoku example such that Boolector does not init the IntManager
Change the Sudoku example such that Boolector does not init the IntManager

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt