Different Classes for Local Search solver interaction. More...
Classes | |
struct | LocalSearchStats |
Local search statistics. More... | |
class | LocalSearchInterface |
Interface for Local Search solvers. More... | |
Enumerations | |
enum | LocalSearchType { YALSAT = 0 } |
Local Search solvers type. | |
Different Classes for Local Search solver interaction.