maxsat-solver

Here are 13 public repositories matching this topic...

sukrutrao / Timetabler

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

cpp constraint-satisfaction-problem timetable sat-solver timetable-builder timetable-generator sat satisfiability custom-constraints maxsat timetabler iit-hyderabad iith maxsat-solver open-wbo

Updated Sep 29, 2019
C++

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 pseudo-boolean-solver maxsat-solver max-sat pseudo-boolean complete-solver

Updated Jul 14, 2024
C++

khzouroussama / SatHeuristicSolverGui

Star

a GUI for satHeuristicSolver made with ElectronJS + reactJS

electron java reactjs tailwindcss maxsat-solver

Updated Oct 5, 2023
JavaScript

msakai / bnn-verification

Star

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

milp sat-solver mip mixed-integer-programming adversarial-examples maxsat maxsat-solver binarized-neural-networks mixed-integer-linear-programming

Updated Nov 4, 2024
TeX

Manuframil / DEMaxSatSolver

Star

DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.

differential-evolution maxsat randomwalk maxsat-solver gsat

Updated Jul 22, 2023
C

mullzhang / pyakmaxsat

Star

Python binding of AK-MaxSAT solver

ising-model maxsat-solver qubo akmaxsat

Updated Apr 23, 2021
C++

sukrutrao / MaxSAT-Solver

Star

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone

cpp solver constraint-satisfaction-problem constraint-programming constraint-solver minisat unweighted maxsat maxsat-solver

Updated Sep 10, 2019
C++

ChiefMonk / Sat4.NET

Star

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#

Ant0in / Projet-ALGO2

Star

Max2SAT solver for lamp grids, developed as part of the Algorithms 2 course (INFO-F203 2024). The project models the lamp grid problem as a Max2SAT instance to find the optimal configuration that satisfies the maximum number of constraints.

maxsat-solver 2sat-problem