lisachenko/php-deal (packagist): Design by Contract framework for PHP
Keywords: contracts-programming|dbc|design-by-contracts|invariants|php|preconditions