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.
38 commits 5 branches 0 tags 442 KiB
C 60.3%
Python 37.2%
Nix 1.5%
Makefile 0.9%
Find a file
Zander Thannhauser ff78073433 ...
2025-06-27 14:37:20 -05:00
buildtypes ... 2025-06-27 14:37:20 -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 ... 2025-06-27 14:37:09 -05:00
calculate_simplifications.h ... 2025-06-27 14:37:09 -05:00
cmdln.c added assignment operator, moved to using mmap 2025-06-27 09:27:38 -05:00
cmdln.h added assignment operator, moved to using mmap 2025-06-27 09:27:38 -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 ... 2025-06-27 14:37:09 -05:00
flake.lock ... 2025-06-27 14:37:09 -05:00
flake.nix ... 2025-06-27 14:37:09 -05:00
get_cached_simplifications.c ... 2025-06-27 14:37:09 -05:00
get_cached_simplifications.h ... 2025-06-27 14:37:09 -05:00
main.c ... 2025-06-27 14:37:09 -05:00
makefile ... 2025-06-27 14:37:09 -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 ... 2025-06-27 14:37:09 -05:00
print.h added assignment operator, moved to using mmap 2025-06-27 09:27:38 -05:00
simplifications.h ... 2025-06-27 14:37:09 -05:00