pierreganty/mist — pull request #1 by fniksic (2013-02-11 10:52:19+00:00)
Title: The initial state inconsistency

So far, not specifying a variable in the init condition was interpreted as constraining it to 0. I have changed the default initialization of unspecified variables to the interval (0, INFINITY), so the unspecified variables are now unconstrained.