search

dreal / dreal2

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

bouncing ball benchmark still in prefix? #34

Closed scungao closed 10 years ago

scungao commented 10 years ago

In the bouncing ball benchmark directory, the first bouncing ball (without drag) example. Prefix?

soonhokong commented 10 years ago

Yes, it is. We don't use it in Makefile, but I will change it to infix.

https://github.com/dreal/dreal/blob/stable/benchmarks/hybrid_systems/bouncing_ball/bouncing_ball.drh

soonhokong commented 10 years ago

Fixed by 7274b7b9f57afee1b1e68fd6fc2559af9aeb40f3.