dreal / dreal2

Please check dreal4 instead.
https://github.com/dreal/dreal4
GNU General Public License v3.0
13 stars 15 forks source link

Relevance analysis and filtering for continuous variables #46

Closed danbryce closed 10 years ago

danbryce commented 10 years ago

Relevance analysis removes the continuous variables from each mode and each time step if they are not relevant to the goal.

Also, improved heuristic computation by using heap instead of list. Big improvement in heuristic computation time on large problems.