[  download | license ]

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.