#

maxsat-solver

Here are 2 public repositories matching this topic...

abdelmalek-maskri / MAX-SAT

A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup

docker docker-container genetic-algorithm python3 evolutionary-algorithms maxsat maxsat-solver

Updated Feb 25, 2026
Python

AndrewIjano / gel-max-sat

A tractable Graphic EL MaxSAT solver

graph hacktoberfest description-logics maxsat-solver

Updated Jul 6, 2023
Python

Improve this page

Add a description, image, and links to the maxsat-solver topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the maxsat-solver topic, visit your repo's landing page and select "manage topics."