penaltymodel-maxgap¶

Generates penalty models using smt solvers. Serves as a factory and cache for penaltymodel.

On install, penaltymodel_maxgap registers an entry point that can be read by penaltymodel. It will be used automatically by any project that uses penaltymodel’s get_penalty_model function.