Publisher review:random 3 CNF problem generator script returns a randomly generated 3-CNF sentence composed of clauses in the form of lists of tuples. Given the number of literals and clauses, this script returns a randomly generated 3-CNF sentence composed of clauses in the form of lists of tuples. The first number in the tuple is the literal; the second number is its truth value.
random 3 CNF problem generator 1.0 is a Python script for Programming Methods and Algorithms scripts design by Philip Nunez.
It runs on following operating system: Windows / Linux / Mac OS / BSD / Solaris.
returns a randomly generated 3-CNF sentence composed of clauses in the form of lists of tuples.
Operating system:Windows / Linux / Mac OS / BSD / Solaris