Writing a visualizer for created .json file

dreal / dreal2

Please check dreal4 instead.

https://github.com/dreal/dreal4

GNU General Public License v3.0

13 stars 15 forks source link

Writing a visualizer for created .json file #1

Closed markerazo closed 10 years ago

markerazo commented 10 years ago

Currently the dReach tool outputs several .smt2 files when ran correctly with δ-saturated cases. The main author's site has several examples where he utilizes the the .smt2.json file created to visualize the generated data. An added visualizer script which could carry out this function in the dReal repository would be a very convenient resource.

soonhokong commented 10 years ago

@markerazo :-) Thanks. I'm working on it.

soonhokong commented 10 years ago

@markerazo, I added a documentation ffaaeedc5ee834d8a72d912246ce49a8a6baf587. Please see doc/ode-visualization.md.