BoSy

Assumptions:
Guarantees:
Options: