dreal3

dreal3 copied to clipboard

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

soonhokong

check negated forall_t

1

soonhokong

rewrite dReach in C++

1

Goal is to eliminate OCaml dependency from the codebase. Of course, it doesn't have a high priority though..

soonhokong

- reported by @scungao, who suspects that it's a memory-related issue - https://github.com/dreal/dreal3/blob/master/examples/control_examples.cpp#L247-L248

soonhokong

- @pzuliani reported. - See http://stackoverflow.com/questions/7090623/c0x-thread-static-linking-problem - For now, a temporary solution is to introduce a compile-time flag for a static build and to disable the use of multi-threads when...

soonhokong

--multiheuristic option shows non-deterministic behaviors in return

17

@clhuang and @dzufferey, could you take a look at this problem when you have some time? I have been testing `--multiheuristic` option with hard instances. I found that using the...

soonhokong

and pass pruning results to the clause_manager

soonhokong

- drag-drop location - automatically adjust the height

soonhokong

soonhokong

soonhokong