pydlinear is a Python package that provides bindings to the dlinear library. The package can be used to create and solve linear programs from Python.

From source

Clone the repository and install the package with pip.

Requirements

python-dev

Install

pip install .
# For development
pip install -e .

From PyPI

pip install pydlinear

Usage

If the package has been installed, either locally or from PyPI, it can be invoked with the same options as the binary.

pydlinear --help

Furthermore, the pydlinear module can be imported and used as a library.

import sys
import pydlinear as pdl
 
 
config = pdl.Config.from_args(sys.argv)
solver = pdl.SmtSolver(config)
solver.Parse()
result = solver.CheckSat()
sys.exit(result.exit_code)