python api now throws "SolveException" on timeout, instead of RuntimeError
python api now throws "SolveException" on timeout, instead of RuntimeError

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat