The boolean satisfaction and optimization library for .NET
Max3SAT Solver using a LasVegas Algorithm
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
Modelling of optimization problems as Maximum Satisfiability (MaxSAT) in Python
Conversor to WPM(1,3), dimacs format
SAT-based approach for solving the Yashi Game. Final project for the Knowledge Representation and Learning course at UniPd.
BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024
Maximum Satisfiability Problem in Java
Encoding the Yashi Game in propositional logic to obtain an optimal solution.
A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup
DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.
An Algorithm to Minimize The SAT Model Returned By a SAT Solver
A portfolio solver for the MaxSAT problem.
Iterative Train Scheduling with Maximum Satisfiability
Add a description, image, and links to the maxsat topic page so that developers can more easily learn about it.
To associate your repository with the maxsat topic, visit your repo's landing page and select "manage topics."