v0.10.6
Pre-release
Pre-release
This release adds the support for a timeout parameter in
the solve() and is_valid() members of the solver class.
This release adds the support for a timeout parameter in
the solve() and is_valid() members of the solver class.