FuzzASP

FuzzASP is a grammar-based blackbox fuzzer that generates random
answer set programs. It can be used to to fuzz-test answer set
solvers and to generate benchmarks. The supported format is the
lparse format. FuzzASP was written in Python 2.