arcondello/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.

To install:

pip install penaltymodel_maxgap

To build from source:

git clone https://github.com/dwavesystems/penaltymodel_maxgap.git
cd penaltymodel_maxgap
python setup.py install

Note that this library will not function without smt solvers installed. The solvers are accessed through the pysmt package. See the accompanying pysmt documentation for installing smt solvers.

Released under the Apache License 2.0. See LICENSE