Zander/4-variable-simplifier
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

turns out: we cant do 5 variables

Browse source
This commit is contained in:
Zander Thannhauser 2025-06-21 12:04:53 -05:00
parent d9556aeae9
commit 82db0d4e03
4 changed files with 1990 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1986
5.c Normal file
View file

File diff suppressed because it is too large Load diff

1
flake.nix
View file

@ -25,6 +25,7 @@
pkgs.mkShell {
buildInputs = with pkgs; [
gcc
gcc.man
gnumake
readline.dev
python3

2
main.py
View file

@ -369,7 +369,7 @@ def calculate_simplifications(args, available_operators):
return costs, lookup
pathname = "simplifications.bin"
pathname = ".simplifications.bin"
def get_simplifications(args, available_operators):
available_operators = tuple(sorted(available_operators));

4
makefile
View file

@ -10,9 +10,9 @@ cppflags += -D _GNU_SOURCE
cflags = -Werror -Wall -Wextra -Wstrict-prototypes -Wfatal-errors
cflags += -O3
cflags += -O4
cflags += -Wno-unused
# cflags += -Wno-unused
ldflags += -lreadline