maxsat-solver
Here are 13 public repositories matching this topic...
A tractable Graphic EL MaxSAT solver
-
Updated
Jul 6, 2023 - Python
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.
-
Updated
Oct 20, 2024 - Java
A SAT-IP Hybrid MaxSAT solver
-
Updated
Sep 12, 2018 - C++
BNN verification dataset for Max-SAT Evaluation 2020
-
Updated
Oct 9, 2023 - TeX
The boolean satisfaction and optimization library for .NET
-
Updated
Dec 19, 2023 - C#
DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.
-
Updated
Jul 22, 2023 - C
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
-
Updated
Sep 10, 2019 - C++
a GUI for satHeuristicSolver made with ElectronJS + reactJS
-
Updated
Oct 5, 2023 - JavaScript
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…
-
Updated
Jul 14, 2024 - C++
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
-
Updated
Sep 29, 2019 - C++
Improve this page
Add a description, image, and links to the maxsat-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the maxsat-solver topic, visit your repo's landing page and select "manage topics."