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.

See the README for more information about FuzzASP.

Download

fuzzasp-0.2.tar.bz2 ]

License

We use the GPL license version 3. The license can be found in the file COPYING which comes with the tool.