[−][src]Module batsat::callbacks
Structs
| Basic | Basic set of callbacks |
| ProgressStatus | Progress indicator from the SAT solver. |
| Stats | Basic set of callbacks, maintaining some statistics and a "stop" predicate. |
Traits
| Callbacks | Basic callbacks to the solver |