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.