This is stars and forks stats for /JamesGallicchio/eternity2 repository. As of 29 Apr, 2024 this repository has 4 stars and 0 forks.
eternity2 Research project trying to solve the Eternity II edge matching puzzle. This repo contains an implementation of an efficient encoding for edge matching puzzles described in Heule 2008, along with various redundant clauses and search partitioning schemes we are experimenting with. It also contains various tools for testing our encodings against randomly generated boards. Building The main tool we've been using for experiments is built in Lean 4, which needs to be installed in order to build...
eternity2 Research project trying to solve the Eternity II edge matching puzzle. This repo contains an implementation of an efficient encoding for edge matching puzzles described in Heule 2008, along with various redundant clauses and search partitioning schemes we are experimenting with. It also contains various tools for testing our encodings against randomly generated boards. Building The main tool we've been using for experiments is built in Lean 4, which needs to be installed in order to build...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
brave/adblock-lists | Adblock Filter ListPython | 263 | 0 | 69 | 0 |
Rdmo1/Neptune | BatchfilePython | 226 | 0 | 126 | 0 |
Azure/solution-center | ShellBicepPHP | 11 | 0 | 20 | 0 |
samiullahsaleem/cyberblock | BladeJupyter NotebookPython | 29 | 0 | 175 | 0 |
sagemathinc/cowasm | CPythonTypeScript | 415 | 0 | 18 | 0 |
AXERA-TECH/ax-pipeline | CMakeShell | 72 | 0 | 22 | 0 |
Kara-Zor-El/JellyBook | DartShellRuby | 291 | 0 | 5 | 0 |
transistorsoft/flutter_background_fetch | DartJavaObjective-C | 541 | 0 | 153 | 0 |
nulib/meadow | ElixirJavaScriptHCL | 15 | 0 | 5 | 0 |
thepower/tpnode | ErlangElixirShell | 24 | 0 | 14 | 0 |