dreal/dreal — pull request #46 by danbryce (2014-06-17 15:28:48+00:00)
Title: Relevance analysis and filtering for continuous variables

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.