Module optimisation 

Contains structures related to optimissation.

Modules

linear_sat_unsat

linear_unsat_sat

solution_callback

Enums

OptimisationDirection

The direction of the optimisation, either maximising or minimising.

OptimisationStrategy

The type of search which is performed by the solver.

Traits

OptimisationProcedure