Max3SAT Solver using a LasVegas Algorithm

UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instanc…

BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024

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

An Algorithm to Minimize The SAT Model Returned By a SAT Solver

SAT-based approach for solving the Yashi Game. Final project for the Knowledge Representation and Learning course at UniPd.

GaussMaxHS, a CNF+XOR MaxSAT solver

The boolean satisfaction and optimization library for .NET

Encoding the Yashi Game in propositional logic to obtain an optimal solution.

DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.

Modelling of optimization problems as Maximum Satisfiability (MaxSAT) in Python

A new framework to generate interpretable classification rules

Group Testing via MaxSAT

A portfolio solver for the MaxSAT problem.

Solving some AI Problems

SAT and MaxSAT Solver

MaxSAT Solver

Types for SolHOP

MaxSAT and other approaches to solve University timetabling problems and MPP.

Iterative Train Scheduling with Maximum Satisfiability