ctlog (pypi): SAT-Based Combinatorial Testing in Python
Keywords: combinatorial-testing|sat|maxsat|constraint