solver for the reachability modulo theories problem - View it on GitHub