Expand description
Customized solver module.
Provides exact witness recovery for problems that have dedicated structure-exploiting backends, without requiring ILP reduction paths.
Structsยง
- Customized
Solver - A solver that uses problem-specific backends for exact witness recovery.