Skip to main content

Generates penalty models using smt solvers.

Project description

D-Wave Penalty Model Max-gap

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:

cd penaltymodel_maxgap
pip install -r requirements.txt
pip install -e ../penaltymodel_core/
python install

Note that this library will not function without smt solvers installed. The solvers are accessed through the pysmt package.

In the standard setup (pip install or install above), Z3 solver is installed auto-magically. See the accompanying pysmt documentation for installing other smt solvers.

In development mode (pip install -e or develop) solvers are not installed. Check pysmt documentation to see how to do it manually.


Released under the Apache License 2.0. See LICENSE

The bundled Z3 solver used by pysmt is licensed under the MIT license.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for penaltymodel-maxgap, version 0.5.3
Filename, size File type Python version Upload date Hashes
Filename, size penaltymodel-maxgap-0.5.3.tar.gz (9.4 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page