Module external
Source Expand description
§Solver Interface for External Executables
- InputVia
- Options for how the input instance should be passed to the external solver
- OutputVia
- Options for how the output of the solver is read by RustSAT
- Solver
- A solver called via an external executable