Randomly generate a formula.
()
| 144 | |
| 145 | |
| 146 | def generate_formula() -> Formula: |
| 147 | """ |
| 148 | Randomly generate a formula. |
| 149 | """ |
| 150 | clauses: set[Clause] = set() |
| 151 | no_of_clauses = random.randint(1, 10) |
| 152 | while len(clauses) < no_of_clauses: |
| 153 | clauses.add(generate_clause()) |
| 154 | return Formula(clauses) |
| 155 | |
| 156 | |
| 157 | def generate_parameters(formula: Formula) -> tuple[list[Clause], list[str]]: |
no test coverage detected