GitHub repository: nagata442000/PrimeAndCompositeTautology2
Primary language: Ruby
Created: 2025-03-23T08:58:28Z
Description: This project aims to generate CNF formulas that are difficult for SAT solvers to solve. In particular, it aims to create CNF formulas that establish an exponential lower bound for Subset Propagation Redundancy (SPR).