random 3 CNF problem generator 1.0

Operating systemsOS : Windows / Linux / Mac OS / BSD / Solaris
Program licensingScript Licensing : Other Free / Open Source License - Python License
CreatedCreated : Jun 7, 2007
Size downloadDownloads : 2
Program licensing
Thank you for voting...

Given the number of literals and clauses, this script ...

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 scripting tags: tuple, clauses, random cnf problem generator, 3-cnf sentence, tuples, number, lists, lists tuples. What is new in random 3 CNF problem generator 1.0 software script? - Unable to find random 3 CNF problem generator 1.0 news. What is improvements are expecting? Newly-made random 3 CNF problem generator 1.1 will be downloaded from here. You may download directly. Please write the reviews of the random 3 CNF problem generator. License limitations are unspecified.