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.
Installing
To install:
pip install penaltymodel_maxgapTo build from source:
cd penaltymodel_maxgap
pip install -r requirements.txt
pip install -e ../penaltymodel_core/
python setup.py installNote 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.
License
Released under the Apache License 2.0. See LICENSE
The bundled Z3 solver used by pysmt is licensed under the MIT license.
2 maintainers
Metadata
2 maintainers
Release files for penaltymodel-maxgap 0.5.6
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| penaltymodel-maxgap-0.5.6.tar.gz | 9.4 kB | Details |
Release files / penaltymodel-maxgap-0.5.6.tar.gz
| Download URL | penaltymodel-maxgap-0.5.6.tar.gz |
|---|---|
| Size | 9.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
83aa7625ca8c606f5759d55101ede1d7cb8451cbb191ecf27ccaa6f7e40ede9b
|
|
BLAKE2b-256 checksum How to use checksums |
ecfe8b52f6c683e63c80112ddd20f21dccdd4792c168a9dbe3abfb84e17464b8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.7.1 importlib_metadata/4.8.3 pkginfo/1.8.2 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.6.8
|
