Generates minimal test cases using pairwise combinatorial testing
Pairwise Independent Combinatorial Tool
pict
$ pict model.txt
$ pict model.txt /seed:123
$ pict model.txt > testcases.txt