Commit graph

Select branches

Hide pull requests

main

Mono Color

• af6ef45043 Add minesweeper input main hal8174 2025-02-23 17:26:37 +01:00
• d130fd57d9 Add minesweeper solver hal8174 2025-02-22 18:56:34 +01:00
• e5f408aed2 Add reverse game of life hal8174 2024-11-06 20:00:54 +01:00
• 23cbd39039 Generalize literals in epression and add helper function for expressions hal8174 2024-11-03 19:58:06 +01:00
• 0faf1284df Working cdcl implentation? hal8174 2024-11-03 14:09:06 +01:00
• 63b1350b3b Progress with cdcl hal8174 2024-10-29 18:45:23 +01:00
• cdb1e893ab Part of cdcl hal8174 2024-10-23 19:43:48 +02:00
• 830a3387b0 Clean up and preperations for cdcl hal8174 2024-10-22 14:45:02 +02:00
• 9d9f75dd20 Change sudoku sat and minor performance improvements hal8174 2024-10-16 23:39:26 +02:00
• bfc54bc5a6 Add direct transformation to normal form hal8174 2024-10-15 21:22:34 +02:00
• 6b9785dc1f Add improved representation for normal forms hal8174 2024-10-13 01:02:27 +02:00
• c23697d386 Replace owned strings with references in expressions hal8174 2024-10-11 23:33:04 +02:00
• bab9cd1e1a Fix bugs and add cmd interface hal8174 2024-10-10 16:25:24 +02:00
• bb71924ca9 Add parsing and fix bugs hal8174 2024-10-10 00:23:33 +02:00
• 34ad3315b3 Add expression manipulation hal8174 2024-10-09 01:02:48 +02:00
• 959ac83124 Initial commit hal8174 2024-10-08 21:21:17 +02:00