permanent fork of TuLiP <http://tulip-control.sourceforge.net> that removes use of MPT, yices, and JTLV, and will still follow relevant upstream changes