[−][src]Module varisat::schedule
Scheduling of processing and solving steps.
The current implementation is temporary and will be replaced with something more flexible.
Modules
| luby | The reluctant doubling Luby sequence. |
Structs
| Schedule | Scheduling of processing and solving steps. |
Functions
| schedule_step | Perform one step of the schedule. |