Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with solver-algorithm

A curated list of projects in awesome lists tagged with solver-algorithm .

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: 09 Nov 2024

https://github.com/lesterevse/game15

Qt5 cross-platform game for Windows, Linux

a-star-path-finding logic-game qt5 solver-algorithm

Last synced: 06 Nov 2024

https://github.com/leungll/topk-coding

A method to enumerate top-k cliques.

clause clique encoding solver-algorithm top-k

Last synced: 09 Nov 2024