hoa/praspel (packagist): The Hoa\Praspel library.
Keywords: library|test|validation|generation|specification|praspel|contract|precondition|postcondition|invariant|constraint-solver|contract-based-testing|contract-coverage-criteria|hoa|php|realistic-domains|specification-language|testing