summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* feat: calculation of input signal currentLibravatar Mora Unie Youer2025-04-281-10/+118
* feat: solution parameter calculationLibravatar Mora Unie Youer2025-04-281-65/+389
* 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-273-96/+137
* 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-203-1/+290
* feat: initial commitLibravatar Mora Unie Youer2025-04-206-0/+149