Max3SAT Solver using a LasVegas Algorithm
-
Updated
Nov 29, 2025 - Python
#
maxsat
Here are 27 public repositories matching this topic...
A portfolio solver for the MaxSAT problem.
-
Updated
May 17, 2022 - C
Modelling of optimization problems as Maximum Satisfiability (MaxSAT) in Python
-
Updated
Feb 17, 2023 - Python
SAT-based approach for solving the Yashi Game. Final project for the Knowledge Representation and Learning course at UniPd.
-
Updated
Feb 23, 2024 - Jupyter Notebook
Maximum Satisfiability Problem in Java
-
Updated
Jun 17, 2018 - Java
Encoding the Yashi Game in propositional logic to obtain an optimal solution.
-
Updated
Aug 17, 2023 - Python
A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup
-
Updated
Apr 10, 2025 - Python
An Algorithm to Minimize The SAT Model Returned By a SAT Solver
-
Updated
Apr 8, 2024 - C++
A SAT-IP Hybrid MaxSAT solver
-
Updated
Sep 12, 2018 - C++
Conversor to WPM(1,3), dimacs format
-
Updated
Apr 19, 2018 - Python
The boolean satisfaction and optimization library for .NET
sat-solver sat boolean-satisfiability maxsaxedesign maxsat maxsat-solver optimisation-problem pseudo-boolean minimally-unsatisfiable-subset
-
Updated
Dec 19, 2023 - C#
Iterative Train Scheduling with Maximum Satisfiability
-
Updated
Mar 7, 2021 - C++
GaussMaxHS, a CNF+XOR MaxSAT solver
-
Updated
Jan 23, 2024 - C++
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
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."