• Joined on 2024-09-20
Zander pushed to dev at Zander/4-variable-simplifier 2025-06-21 17:04:56 +00:00
82db0d4e03 turns out: we cant do 5 variables
Zander pushed to dev at Zander/4-variable-simplifier 2025-06-21 06:03:52 +00:00
d9556aeae9 added 5.c, but it will take forever
Zander pushed to dev at Zander/4-variable-simplifier 2025-06-21 05:37:34 +00:00
105e9306a4 switched main over to using boolsets.
Zander pushed to main at Zander/nixos-configuration 2025-06-19 18:09:00 +00:00
aaa5d788f9 now with man and hiberate and swap
Zander pushed to main at Zander/nixos-configuration 2025-06-19 02:57:55 +00:00
Zander pushed to main at Zander/nixos-configuration 2025-06-19 02:51:20 +00:00
Zander pushed to main at Zander/nixos-configuration 2025-06-19 01:51:53 +00:00
Compare 2 commits »
Zander pushed to main at Zander/nixos-configuration 2025-06-18 23:51:36 +00:00
Zander created branch main in Zander/nixos-configuration 2025-06-18 23:51:36 +00:00
Zander pushed to dev at Zander/4-variable-simplifier 2025-06-17 12:55:01 +00:00
1097f2c2d8 now at least it compiles
Zander pushed to dev at Zander/4-variable-simplifier 2025-06-16 00:45:10 +00:00
27bef1109d instead of sparse-lists, why not boolean arrays?
Zander pushed to dev at Zander/4-variable-simplifier 2025-06-15 15:24:55 +00:00
82a102c421 getting really close now, but I need to implement removing from lists
Zander created branch dev in Zander/4-variable-simplifier 2025-06-15 15:19:38 +00:00
Zander pushed to dev at Zander/4-variable-simplifier 2025-06-15 15:19:38 +00:00
cb1738376d added more spikes about divide-and-conquer binary opeartions, changed over to using "done" list, changed cache encoding
Zander pushed to main at Zander/4-variable-simplifier 2025-06-14 16:39:22 +00:00
d3ae35ceb5 added force-rebuild command
Zander pushed to main at Zander/4-variable-simplifier 2025-06-14 01:15:07 +00:00
4d0451f9d3 handle parens
Zander pushed to main at Zander/4-variable-simplifier 2025-06-12 15:49:34 +00:00
33b497d0a2 reuse the same line of text when showing progress
Zander pushed to main at Zander/4-variable-simplifier 2025-06-11 19:21:49 +00:00
c57232fee6 added color support
1c433de317 added comparision operators
Compare 2 commits »
Zander pushed to main at Zander/4-variable-simplifier 2025-06-11 18:30:47 +00:00
956a6dfa2a added flake files
Zander pushed to main at Zander/4-variable-simplifier 2025-06-11 13:47:02 +00:00