GitHub repository: marijnheule/preprocess-simple
Primary language: C
Created: 2022-10-01T16:27:50Z
Description: Simple preprocessor for CNF formulas