All Git Users → tulip-control

4 open source projects by tulip-control

[ Open user page on Github ]

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

✭ 102

python cython bdd

2. Tulip Control

Temporal Logic Planning toolbox

✭ 81

python state-machine verification specification synthesis abstraction control-systems

Geometric operations on polytopes of any dimension

✭ 51

python numpy computational-geometry scipy polytope cvxopt polyhedron

Specify and synthesize systems using symbolic algorithms

✭ 36

python TLA Makefile automata symbolic synthesis temporal-logic streett rabin bitvector logic-minimization

1-4 of 4 user projects