Expand description
This module union multiple solvers as one solver by using these solvers in a round-robin manner.
Structsยง
- Multi
Solver - treats multiple SatSolvers as one SatSolver
This module union multiple solvers as one solver by using these solvers in a round-robin manner.