Projects in Awesome Lists tagged with solver-algorithm
A curated list of projects in awesome lists tagged with solver-algorithm .
https://github.com/leungll/topk-coding
A method to enumerate top-k cliques.
clause clique encoding solver-algorithm top-k
Last synced: 23 Feb 2025
https://github.com/leungll/pm-coding
Solver algorithm in #3 Paper: Diversified Top-K MaxSAT Solving with MaxSAT
clause encoding solver-algorithm symmetry-breaking top-k
Last synced: 23 Feb 2025
https://github.com/onur1211/str8ts-solver
Str8ts puzzle solver with unit tests (C# WPF .NET Framework)
csharp dotnet-framework solver solver-algorithm unit-test wpf wpf-application
Last synced: 02 Mar 2025
https://github.com/woidly/spellcast-solver
The superior Discord Spellcast solver - now in Rust!
discord discord-activities discord-activity discord-spellcast solver solver-algorithm spellcast spellcast-solver
Last synced: 17 Mar 2025
https://github.com/lesterevse/game15
Qt5 cross-platform game for Windows, Linux
a-star-path-finding logic-game qt5 solver-algorithm
Last synced: 11 Apr 2025
