Metadata-Version: 2.1
Name: pydlinear
Version: 0.0.1
Summary: delta-complete SMT solver for linear theories over the reals
Home-page: https://github.com/TendTo/dlinear
Author: Ernesto Casablanca
Author-email: casablancaernesto@gmail.com
License: BSD 3-Clause License
Keywords: smt,delta-complete,qf_lra,neural network
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: BSD License
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: C++
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Description-Content-Type: text/markdown
License-File: LICENSE

# Dlinear

[![dlinear CI](https://github.com/TendTo/dlinear/actions/workflows/dlinear.yml/badge.svg)](https://github.com/TendTo/dlinear/actions/workflows/dlinear.yml)
[![Docker CI](https://github.com/TendTo/dlinear/actions/workflows/docker.yml/badge.svg)](https://github.com/TendTo/dlinear/actions/workflows/docker.yml)
[![Docs CI](https://github.com/TendTo/dlinear/actions/workflows/docs.yml/badge.svg)](https://tendto.github.io/dlinear/)
[![pydlinear CI](https://github.com/TendTo/dlinear/actions/workflows/pydlinear.yml/badge.svg)](https://github.com/TendTo/dlinear/actions/workflows/pydlinear.yml)

Delta-complete SMT solver for linear theories over the reals.
Fork of [dlinear4](https://github.com/martinjos/dlinear4) and [dReal4](https://github.com/dreal/dreal4).

### Installation

There are multiple ways of installing dlinear.
The recommanded approach is to use the official [Docker image](https://github.com/TendTo/dlinear/pkgs/container/dlinear), the [ppa repository](https://launchpad.net/~tendto/+archive/ubuntu/dlinear) or the python wrapper [_pydlinear_](https://pypi.org/project/pydlinear).

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

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

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

```bash
# pydlinear
pip3 install pydlinear
pydlinear --help
```

For more information about the installation process options, including installation from sources, refer to the [installation guide](docs/Installation.md).

### Usage

For more information, refer to the [usage guide](docs/Usage.md).

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