pydlinear 0.0.1

delta-complete SMT solver for linear theories over the reals

Dlinear

Delta-complete SMT solver for linear theories over the reals. Fork of dlinear4 and dReal4.

Installation

There are multiple ways of installing dlinear. The recommanded approach is to use the official Docker image, the ppa repository or the python wrapper pydlinear.

[!Note] Only Linux is supported, but using the Docker image circumvents this limitation.

# Docker
docker pull ghcr.io/tendto/dlinear:main
docker run -it --rm ghcr.io/tendto/dlinear:main --help

# ppa repository
sudo add-apt-repository ppa:tendto/dlinear
sudo apt update

# pydlinear
pip3 install pydlinear
pydlinear --help

For more information about the installation process options, including installation from sources, refer to the installation guide.

Usage

For more information, refer to the usage guide.

dlinear --help
# Use `pydlinear --help` if you installed the pydlinear wrapper