Installation

Install penaltymodel-core

To install:

pip install penaltymodel

To build from souce:

cd penatlymodel_core
pip install -r requirements.txt
python setup.py install

Install penaltymodel-cache

To install:

pip install penaltymodel_cache

To build from source:

cd penaltymodel_cache
pip install -r requirements.txt
pip install -e ../penaltymodel_core/
python setup.py install

Install penaltymodel-maxgap

To install:

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.

Install penaltymodel-mip

To install:

pip install penaltymodel-mip

To build from souce:

cd penaltymodel_mip
pip install -r requirements.txt
python setup.py install

Install penaltymodel-lp

To install:

pip install penaltymodel-lp

To build from souce:

cd penaltymodel_lp
pip install -r requirements.txt
python setup.py install