[  download | overview | license ]

Download

• FuzzSAT 0.1

Overview

FuzzSAT is a fuzzer which generates structured CNFs. First, a boolean circuit is constructed where logical gates and inputs are selected at random. The generated circuit is then translated into CNF. In order to increase diversity, random clauses of varying size are added to obtain the final CNF.

License

FuzzSAT is released under GNU GPLv3. See also file COPYING that is part of the distribution.