search

dreal / dreal2

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

Network encodings and heuristics for planning #92

Closed danbryce closed 9 years ago

danbryce commented 9 years ago

Main reason for pull is to share network encodings for battery-double.