Hi @JonT, from the error, the tolerance must be positive, with a precision being at least 1e-17, so 0 is invalid.
We started developing SoPLEX.jl at ZIB but due to the lack of need from anyone working on exact solving, this hasn’t been pushed further yet. Note that this is meant to support exact soplex from the start.
SCIP.jl doesn’t support exact SCIP, which is for now a separate project entirely available here: GitHub - scipopt/scip at exact-rational