Package tulip :: Package interfaces

Package interfaces

Minimal bindings to external entities

Submodules
tulip.interfaces.gr1c: Interface to gr1c tulip.interfaces.jtlv: Interface to the JTLV implementation of GR(1) synthesis tulip.interfaces.lily: Interface to Lily that solves LTL games. tulip.interfaces.ltl2ba: Interface to ltl2ba tulip.interfaces.slugs: Interface to the slugs implementation of GR(1) synthesis.

Variables
	__package__ = `'tulip.interfaces'`