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.


fuzzasp-0.2.tar.bz2 ]


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