Tools for GR(1) synthesis and related activities
Version: 0.13.2 | Maintained by: slivingston | Categories: devel math | Variants: universalAn efficient library for manipulating decision diagrams
Version: 3.0.0 | Maintained by: slivingston | Categories: devel | Variants: universal