3-SAT Formula Analyzer
Number of Variables (n):
12
Number of Formulas to Sample:
10
Balance positive/negative occurrences (2 each per variable)
Generate Formulas
Formulas and Solutions
Summary Statistics