SMT Solver for Nonlinear Theories of Reals
Project description
dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
Precompiled Wheels
We provide precompiled distributions (.whl
) for the following environments:
- macOS 10.15 / 10.14 / 10.13 + CPython 3.7
- Linux + CPython 3.5 / 3.6 / 3.7 / 3.8
You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:
macOS 10.15 / 10.14 / 10.13
brew install dreal --only-dependencies
Ubuntu 18.04 / 16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash
Build from Source
If pip
fails to find a precompiled distribution, it fetches dReal
source and build it from scratch. You need to install the required
packages to do so. To install them, please follow the instructions
below:
macOS 10.15 / 10.14 / 10.13
brew install dreal --only-dependencies --build-from-source
Ubuntu 18.04 / 16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
Built Distributions
Hashes for dreal-4.20.4.2-cp38-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7948e814c59a7b77c4059a1f385b6633fbf5ab0b11b266c453ee1c8c6432d6e3 |
|
MD5 | 310117ce075392b88bd8bdc04b19b330 |
|
BLAKE2b-256 | 0ab40672ac43df5af6b745175416cf9735c5f564e5f67707bfb0094bb6e95070 |
Hashes for dreal-4.20.4.2-cp38-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 32aa41c7e30e51ffedcaf98a0409f1394929248c45dd63c94615d02604b17169 |
|
MD5 | 301ab2fb01ff412a3cf570cd3a63b71d |
|
BLAKE2b-256 | 55afb9e2cda4e2c5d9da5bb72c2bbe84db443c3fdf9a90a4316967ff255fa0a6 |
Hashes for dreal-4.20.4.2-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dca1485069c7d34990ca592eaaa4dd6a85a62353fdd5da9fc90a424db2175d48 |
|
MD5 | cc6836de777d2d7a4a833529af17ee7d |
|
BLAKE2b-256 | 4f98187e8b83e5a1dd28c8def13c42e1cb3595ee4085bf60f8ce7b4a17baa028 |
Hashes for dreal-4.20.4.2-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7c18cf30170139117ac1d4796a94783d3bebe66e332e0c4a004172124551e7f3 |
|
MD5 | 68b1dcfe04a3ee86a291fe47f7d437c5 |
|
BLAKE2b-256 | b447de2eebf850d7bdee63d0a968866b0b5d6d008f6cd24ccf47c22fad07740b |
Hashes for dreal-4.20.4.2-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3cd14a8c19fe880ba3c229aa468f6bbb66c94811b3e54ccfe357fa8ff1dc09f7 |
|
MD5 | bf48c94e49ca620c71bd5fcdbd591ac6 |
|
BLAKE2b-256 | d5476c4b9382185a4d7fb8a5106ce3d940bc8b5660dad973805aeabb9a0e5ea5 |
Hashes for dreal-4.20.4.2-cp36-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 13dc8484f994e248582777b48e93fdfbfb74c6c394ef09c6ea7e7bc1cbc908dd |
|
MD5 | b0e0957ccabf4438e5a57b681f899398 |
|
BLAKE2b-256 | 4347549097f91797df34eb14856d80201f9135fdd43f3e908eb2c65e95e7f4d6 |
Hashes for dreal-4.20.4.2-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c492d204b1d7faab1a9b578a40ba770c0dbbda520fedbf7a74944dfd4318c522 |
|
MD5 | 1129de6eb77688f04497be526b8bb8d6 |
|
BLAKE2b-256 | b6e487e6189d5768a718f5a4e69384c993293c70cf5887ef9656eca786a88e1b |
Hashes for dreal-4.20.4.2-cp35-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a6f890d2eb02d01127daffabb213e130566d82397619d5231dcdb76668852ef6 |
|
MD5 | 4554925499a6603c47abdab48bd7ac9f |
|
BLAKE2b-256 | 0711effe09710510ad4a41ae0fd64aa389b35d054f7c24407e65a459d4e6848b |