Use Json11 to output visualization

dreal / dreal2

Please check dreal4 instead.

https://github.com/dreal/dreal4

GNU General Public License v3.0

13 stars 15 forks source link

Open soonhokong opened 10 years ago

soonhokong commented 10 years ago

Currently linked, ready to be used. Reference: https://github.com/dropbox/json11