A new framework to generate interpretable classification rules
-
Updated
Feb 11, 2023 - Python
#
maxsat
Here are 8 public repositories matching this topic...
Solving some AI Problems
artificial-intelligence simulated-annealing hill-climbing breadth-first-search google-or-tools graph-coloring random-restart nqueens latin-square maxsat max-sat jacop
-
Updated
Jul 14, 2021 - Python
Conversor to WPM(1,3), dimacs format
-
Updated
Apr 19, 2018 - Python
Max3SAT Solver using a LasVegas Algorithm
-
Updated
Nov 29, 2025 - Python
Modelling of optimization problems as Maximum Satisfiability (MaxSAT) in Python
-
Updated
Feb 17, 2023 - Python
A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup
-
Updated
Apr 10, 2025 - Python
Encoding the Yashi Game in propositional logic to obtain an optimal solution.
-
Updated
Aug 17, 2023 - Python
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."