isla-solver (pypi): The ISLa Input Specification Language and its solver.
Keywords: constraints|fuzzing|grammars|python|smt|strings