Soonho Kong

ibex-2.8.6

2

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...

bash completion script for dReal

3

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...