3SATGen

Download

Overview

3SATGen is a generator for random 3-SAT formulae. Given the number of variables and a clauses-per-variable ratio, it generates a formula where all clauses contain exactly 3 literals.

License

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