Zander/4-variable-simplifier
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Bored at work. Perfect boolean-algebra simplifier. 30-second to 6-hour startup time.
27 commits 5 branches 0 tags 442 KiB
C 60.3%
Python 37.2%
Nix 1.5%
Makefile 0.9%
Find a file
Zander Thannhauser 27bef1109d instead of sparse-lists, why not boolean arrays?
2025-06-15 19:45:05 -05:00
spikes instead of sparse-lists, why not boolean arrays? 2025-06-15 19:45:05 -05:00
.envrc added flake files 2025-06-11 13:30:43 -05:00
.gitignore added more spikes about divide-and-conquer binary opeartions, changed over to using "done" list, changed cache encoding 2025-06-15 10:17:02 -05:00
flake.lock added flake files 2025-06-11 13:30:43 -05:00
flake.nix added flake files 2025-06-11 13:30:43 -05:00
main.c instead of sparse-lists, why not boolean arrays? 2025-06-15 19:45:05 -05:00
main.py added c implementation, which is MUCH faster! 2025-06-10 20:51:47 -05:00
makefile added more spikes about divide-and-conquer binary opeartions, changed over to using "done" list, changed cache encoding 2025-06-15 10:17:02 -05:00