hal8174

0 followers · 0 following

• Joined on 2023-12-26

Repositories

13

Projects Packages Public activity Starred repositories

hal8174 created repository hal8174/param_alg 2024-11-09 20:48:15 +00:00

hal8174 pushed to main at hal8174/simple-sat-solver 2024-11-06 19:02:47 +00:00

e5f408aed2 Add reverse game of life

hal8174 pushed to main at hal8174/simple-sat-solver 2024-11-03 18:58:36 +00:00

23cbd39039 Generalize literals in epression and add helper function for expressions

0faf1284df Working cdcl implentation?

Compare 2 commits »

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-29 17:46:29 +00:00

63b1350b3b Progress with cdcl

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-23 17:44:41 +00:00

cdb1e893ab Part of cdcl

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-22 12:45:47 +00:00

830a3387b0 Clean up and preperations for cdcl

hal8174 pushed to main at hal8174/ray-tracing2 2024-10-20 17:39:54 +00:00

7d69122e8c Add next event estimation

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-16 21:41:35 +00:00

9d9f75dd20 Change sudoku sat and minor performance improvements

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-15 19:23:09 +00:00

bfc54bc5a6 Add direct transformation to normal form

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-12 23:03:02 +00:00

6b9785dc1f Add improved representation for normal forms

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-11 21:33:59 +00:00

c23697d386 Replace owned strings with references in expressions

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-10 14:26:22 +00:00

bab9cd1e1a Fix bugs and add cmd interface

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-09 22:24:05 +00:00

bb71924ca9 Add parsing and fix bugs

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-08 23:03:19 +00:00

34ad3315b3 Add expression manipulation

hal8174 created branch main in hal8174/simple-sat-solver 2024-10-08 19:21:23 +00:00

hal8174 pushed to main at hal8174/simple-sat-solver 2024-10-08 19:21:23 +00:00

959ac83124 Initial commit

hal8174 created repository hal8174/simple-sat-solver 2024-10-08 19:19:59 +00:00

hal8174 pushed to main at hal8174/ray-tracing2 2024-10-07 20:42:28 +00:00

534a7d7097 Add clap to tev

hal8174 pushed to main at hal8174/ray-tracing2 2024-10-04 20:06:16 +00:00

b11e7a7a78 Add more scenes

hal8174 pushed to main at hal8174/ray-tracing2 2024-10-04 17:48:38 +00:00

7d38e87f6a Refactor Renderer trait