Rare NullPointerException with time based timeout
Hi Daniel,
It's quite rare, but sometimes I get a NullPointerException at line 1782 of Solver.java when solving a large sequence of easy formulas and using time based timeouts. Possibly a race condition with line 1831?
Best regards,
Miguel Neves