A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

A new framework to generate interpretable classification rules

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…

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

A SAT-IP Hybrid MaxSAT solver

Iterative Train Scheduling with Maximum Satisfiability

A portfolio solver for the MaxSAT problem.

GaussMaxHS, a CNF+XOR MaxSAT solver

Solving some AI Problems

The boolean satisfaction and optimization library for .NET

The C++ implementation of the four approximation algorithms for MaxSat Problem.

Boolean SAT solver, using Branch and Bound.

Max3SAT Solver using a LasVegas Algorithm

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

Group Testing via MaxSAT

Maximum Satisfiability Problem in Java

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

SAT and MaxSAT Solver