Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2025-04-28 | fix: incorrect CNF result when no variables are used | 1 | -2/+2 | ||
2025-04-27 | feat: read truth table from file | 3 | -96/+137 | ||
2025-04-23 | feat: wired OR | 1 | -2/+19 | ||
2025-04-23 | feat: transform cubes to logic | 1 | -5/+181 | ||
2025-04-20 | feat: basic minimization algorithm | 3 | -1/+290 | ||