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.
28 commits 5 branches 0 tags 442 KiB
C 60.3%
Python 37.2%
Nix 1.5%
Makefile 0.9%
Find a file
Zander Thannhauser 3f161b9630 .
2025-06-25 21:15:56 -05:00
.envrc added flake files 2025-06-11 13:30:43 -05:00
.gitignore . 2025-06-25 20:50:59 -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 . 2025-06-25 21:15:56 -05:00
main.py added c implementation, which is MUCH faster! 2025-06-10 20:51:47 -05:00
makefile Added quiet option. I think I'm done here. 2025-06-25 21:10:11 -05:00