dReal
PPA description
Delta-complete SMT Solver and its tools. Please visit https:/
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:dreal/dreal to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:dreal/dreal sudo apt update
For questions and bugs with software in this PPA please contact dReal.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 11 of 11 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
dreal | 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~17.04 | Soonho Kong () |
dreal | 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04 | Soonho Kong () |
dreal | 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04 | Soonho Kong () |
libibex-dev | 2.7.4.20220710184652.git352eeeb2345fb2b7a7ec248b44770d8cdc4a5d67~22.04 | Soonho Kong () |
libibex-dev | 2.7.4.20210826124156.git26eeeaae51b0f1518cbab9751c872b83801dbec8~20.04 | Soonho Kong () |
libibex-dev | 2.7.4.20210826124156.git26eeeaae51b0f1518cbab9751c872b83801dbec8~18.04 | Soonho Kong () |
libibex-dev | 2.7.4.20210826124156.git26eeeaae51b0f1518cbab9751c872b83801dbec8~16.04 | Soonho Kong () |
libibex-dev | 2.7.4.20200415183212.git0112b423c94515302c551c478c30e98ff442752d~14.04 | Soonho Kong () |
libibex-dev | 2.7.4.20190612163212.gitfd0888707728e183c860793f225fd4e5e2ce9d91~19.04 | Soonho Kong () |
libibex-dev | 2.7.4.20190612163212.gitfd0888707728e183c860793f225fd4e5e2ce9d91~18.10 | Soonho Kong () |
libibex-dev | 2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10 | Soonho Kong () |
1 → 11 of 11 results | First • Previous • Next • Last |