appserver-io/pbc (packagist): A lightweight Design-by-Contract library for PHP
Keywords: library|dbc|contract|precondition|postcondition|invariant|Design-by-Contract