This project is leveraged to visualize rosbags in Matlab for DISAL's Helipal drones.
DSL in Scala for Constraint Solving with Z3 SMT Solver