search

dreal / dreal2

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

allow dReal to accept partially specified ODEs. needed for distributed systems. #60

Closed scungao closed 9 years ago

scungao commented 9 years ago

syntax: partial integral terms: (pintegral ... [holder_1 holder_2 ...]) Here, holder list replaces the original single flow. To specify any holder dynamically, write: (connect holder_i flow_j) where flow_j was declared previously, which doesn't need to mention all variables. (No need to declare holders)

Make sure that a complete set of ODEs are specified after instantiating all holders.

soonhokong commented 9 years ago

I put it in the https://github.com/dreal/dreal/tree/partial-ode branch

soonhokong commented 9 years ago

Let's make some test case and remove debugging messages.