Generates penalty models using smt solvers.
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
pip install penaltymodel_maxgap
To build from source:
cd penaltymodel_maxgap pip install -r requirements.txt pip install -e ../penaltymodel_core/ python setup.py 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 setup.py 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 setup.py develop) solvers are not installed. Check pysmt documentation to see how to do it manually.
Release history Release notifications
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|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|
Hashes for penaltymodel-maxgap-0.5.3.tar.gz