flight control model
transmission
three bus power system
benchmark: delete smt2 files in hybrid system directory
add icp_visualization
tools: update Makefile
icp: print out data before branching
realpaver: print up to 15 digits
icp_vis: update _tags
ICP_VIS: fix ptree.ml
Add .travis.yml
tools: fix Makefile & _tags to remove dependency on batteries.syntax
Add build image to README.md
Fix .travis.yml
Add tools/README.md
new flight control
car transmission model
power system
Fix drh_infix parser & lexer
DRH_Lexer: change to report the problem when lexer failed to match a string
BMC: print out information about Not_found exception