summaryrefslogtreecommitdiff
path: root/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* perf: minimization algorithm now a little fasterLibravatar Mora Unie Youer2025-04-281-1/+4
* fix: incorrect CNF result when no variables are usedLibravatar Mora Unie Youer2025-04-281-2/+2
* feat: read truth table from fileLibravatar Mora Unie Youer2025-04-271-96/+61
* feat: wired ORLibravatar Mora Unie Youer2025-04-231-2/+19
* feat: transform cubes to logicLibravatar Mora Unie Youer2025-04-231-5/+181
* feat: basic minimization algorithmLibravatar Mora Unie Youer2025-04-201-1/+271
* feat: initial commitLibravatar Mora Unie Youer2025-04-201-0/+3