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