search

dreal / dreal2

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

microfluidics benchmarks are slow in the latest version #30

Open soonhokong opened 10 years ago

soonhokong commented 10 years ago

Files: https://github.com/dreal/dreal/tree/master/benchmarks/microfluidics Reference: https://ece.uwaterloo.ca/~drayside/microfluidics/