A portfolio solver for the MaxSAT problem.
-
Updated
May 17, 2022 - C
#
maxsat
Here are 3 public repositories matching this topic...
DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.
-
Updated
Jul 22, 2023 - C
Unusually powerful linear-time MaxSAT approximator that consistently hits 99.5%+ satisfaction across diverse categories including Graph Coloring, Clique, and Ramsey instances.
-
Updated
Apr 8, 2026 - C
Improve this page
Add a description, image, and links to the maxsat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the maxsat topic, visit your repo's landing page and select "manage topics."