Tools (cpmpy.tools)

Set of independent tools that users might appreciate.

List of tools

explain	Collection of tools for explanation techniques.
dimacs	This file implements helper functions for exporting CPMpy models from and to DIMACS format.
maximal_propagate	Maximal propagation of CPMpy constraints using repeated solving.
tune_solver	This file implements parameter tuning for constraint solvers based on SMBO and using adaptive capping.