[−][src]Module varisat::config
Solver configuration.
Structs
| SolverConfig | Configurable parameters used during solving. |
| SolverConfigUpdate | Updates configuration values of |
Constants
| _DERIVE_Default_FOR_SolverConfig | |
| _IMPL_DESERIALIZE_FOR_SolverConfigUpdate | |
| _IMPL_SERIALIZE_FOR_SolverConfigUpdate |