diagnostics (oracle safety checks) should be part of lib, not examples #39
Description
and should be easier to call.
one idea: maybe just a solver flag, which will run the check before starting the actual solver?
{{ message }}
and should be easier to call.
one idea: maybe just a solver flag, which will run the check before starting the actual solver?