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.
35 commits 5 branches 0 tags 442 KiB
C 60.3%
Python 37.2%
Nix 1.5%
Makefile 0.9%
Find a file
Zander Thannhauser 8152650e06 broke main into many source files, added spike about assignment support that actually works pretty well
2025-06-26 22:41:11 -05:00
buildtypes broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
spikes broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
.envrc added flake files 2025-06-11 13:30:43 -05:00
.gitignore broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
calculate_simplifications.c broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
calculate_simplifications.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
cmdln.c broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
cmdln.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
debug.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
defines.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
evaluate.c broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
evaluate.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
expr.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
flake.lock added flake files 2025-06-11 13:30:43 -05:00
flake.nix broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
get_cached_simplifications.c broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
get_cached_simplifications.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
main.c broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
makefile broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
nix-make.sh broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
print.c broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
print.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00
simplifications.h broke main into many source files, added spike about assignment support that actually works pretty well 2025-06-26 22:41:11 -05:00