summaryrefslogtreecommitdiff
path: root/src/main.rs (follow)
Commit message (Collapse)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