Bored at work. Perfect boolean-algebra simplifier. 30-second to 6-hour startup time.

Zander Thannhauser d9556aeae9 added 5.c, but it will take forever		2025-06-21 01:03:49 -05:00
spikes	switched main over to using boolsets.	2025-06-21 00:37:30 -05:00
.envrc	added flake files	2025-06-11 13:30:43 -05:00
.gitignore	switched main over to using boolsets.	2025-06-21 00:37:30 -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	added 5.c, but it will take forever	2025-06-21 01:03:49 -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