Effiziente Analyse von Booleschen Netzwerken mit mpbn

mpbn bietet eine einfache Schnittstelle zur effizienten Analyse von Booleschen Netzwerken.