arete/specification (packagist): PHP Specification library.
Keywords: ddd|specification|satisfy|satisfied