Soonho Kong
Soonho Kong
We've found some issues with the current version of ibex that we're using (ibex-2.7.4 + custom patches). We will use ibex-2.8.6 instead. Action items: - [ ] Update `libibex-dev` in...
mentioned by @dzufferey
feature requested by @scungao
feature requested by @scungao
feature requested by @scungao
Comment from https://github.com/dreal/dreal3/issues/266#issuecomment-228840893 > By the way, in cvc4, if set-logic is not called, then some kind of default logic is used and a warning message is issued. Seems to...
- reported by @pzuliani ``` This is consuming 76GB and has been running for ~8 minutes dReal --slack-level 1 --polytope /usr/local/src/dreal3/src/tests/nra/nikos_04.smt2 These two consume 94GB each, ~8 min dReal --slack-level...