This is a collection of Optimization Modulo Theories examples
using the Python API interface of OptiMathSAT.
This project requires Python 3.X, python3-setuptools, gcc, g++, and gmplib.
Download the package of the latest version of OptiMathSAT (v. 1.7.2 or superior)
inside the directory optimathsat, and unpack it. Then, run the build.py script
as follows:
~$ python3 build.py
This command builds the Python API of OptiMathSAT, and places the generated
optimathsat.py file in the include directory and the generated _optimathsat.so
file in the lib directory.
For convenience, you may want to permanently add both of these locations to your
PYTHONPATH environment variable:
export PYTHONPATH=${PYTHONPATH}:.../omt_python_examples/include
export PYTHONPATH=${PYTHONPATH}:.../omt_python_examples/lib
This step is useful to avoid import complaints with pylint3. The unit-test
scripts, however, are expected to work even without performing this step.
Run all unit-test examples with
~$ python3 run.py
Each unit-test can also be executed on its own.
For instance, the unit-test simple_omt.py can
be run with
~$ ./unit-tests/simple_omt.py
or with
~$ python3 unit-tests/simple_omt.py
Please contact the author of this repository, or the current maintainer
of the OptiMathSAT, in the case
that there is still any persisting issue with these unit-tests.
This project is authored by Patrick Trentin (patrick.trentin.88@gmail.com).