dreal3
dreal3 copied to clipboard
dreal
There is a new version of dReal, available at https://github.com/dreal/dreal4
I am running Docker on windows 10. I have succesfully ran smt2 files using dreal like so ```bash docker run --rm -v "/c/Users/user:/tmp" dreal/dreal3 dReal /tmp/bouncingball.smt2 delta-sat with delta =...
- [x ] Ensure the bug was not already reported by searching on GitHub under Issues. - [ x] Be sure to include a title and clear description, as much...
Currently the script fails if your default `python` is version 3, in this fashion: ``` (base) max@max-XPS-13-9310:~/tools/dreal3/dReal-3.16.06.02-linux/bin$ ./dReach -k 10 bouncing_ball.drh --verbose --precision 0.001 --visualize File "", line 1 import...
> High Order Enclosure Error: minimal time step reached. Cannot integrate. > the set: {[0,0],[0,0],[1,1],[2,2]} > current time: [0,1.01496e-06] > time step: [1.01496e-06,1.01496e-06] Getting this error while trying to solve...
Consider the following SMT2 file, ` (set-logic QF_NRA_ODE) (declare-fun x () Real) (declare-fun x_0 () Real [0,10]) (declare-fun x_1 () Real [0,10]) (declare-fun x_2 () Real [0,10]) (declare-fun x_3 ()...
A while ago I downloaded a file ``dReal-3.16.09.01-linux.tar.gz``, which expanded into the following tree: dReal-3.16.09.01-linux ├── bin │ ├── bmc_main.native │ ├── dOp │ ├── dReach │ └── dReal ├──...
I am trying to create a FreeBSD port for dreal3. The problem I've encountered is that the bundled ibex doesn't build, it also depends on some obscure libs mathlib, gaol...
Reported by @scungao (using 10.11): ``` [ 64%] Linking CXX executable dOp Undefined symbols for architecture x86_64: "capd::dynset::C0DoubletonSet::show[abi:cxx11]() const", referenced from: vtable for capd::dynset::C0DoubletonSet in libdreal.a(contractor_capd4.cpp.o) "capd::geomset::DoubletonSet::toString[abi:cxx11]() const", referenced from:...
Currently, you have ```USE_LOCAL_THIRD_PARTY``` that uses local zip vs. the github copy. There are packages available at least for adept, clp, catch, easyloggingpp, json, picosat. The packages should be preferred....
Thanks for making contributions to dReal! Before opening a pull-request, please check the following things: - [x] Run `make` and check the code compiles. Please try both of gcc and...
