GitHub topics: maxsat
abdelmalek-maskri/MAX-SAT
A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup
Language: Python - Size: 16.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
marekpiotrow/UWrMaxSat Fork of karpiu/kp-minisatp
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 instances and pseudo-Boolean ones. It incrementally uses COMiniSatPS by Chanseok Oh (2016) as an underlying SAT solver, but may be compiled with other MiniSat-like solvers. It was developed on the top of our PB-solver (called kp-minisatp) that was presented at Pragmatics of SAT 2018 and which is an extension of the well-known MiniSat+ solver. In its main configuration, UWrMaxSat applies an unsatisfiability-core-based OLL procedure and uses the kp-minisatp sorter-based pseudo-Boolean constraint encoding to translate new cardinality constraints into CNF.
Language: C++ - Size: 676 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 22 - Forks: 3
msakai/bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024
Language: TeX - Size: 38.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 0
meelgroup/MLIC
A new framework to generate interpretable classification rules
Language: Python - Size: 59.3 MB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 17 - Forks: 4
viv3kc/MAXSAT
Maximum Satisfiability Problem in Java
Language: Java - Size: 188 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
federicochiarello/Yashi-Game
SAT-based approach for solving the Yashi Game. Final project for the Knowledge Representation and Learning course at UniPd.
Language: Jupyter Notebook - Size: 651 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
ngiambla/boolean_sat_bb
Boolean SAT solver, using Branch and Bound.
Language: C++ - Size: 11.1 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
ADDALemos/MPPTimetables
MaxSAT and other approaches to solve University timetabling problems and MPP.
Language: C++ - Size: 11.3 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 2
ellietoulabi/Artificial-Intelligence-Problems
Solving some AI Problems
Language: Python - Size: 1.85 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1
psaikko/LMHS
A SAT-IP Hybrid MaxSAT solver
Language: C++ - Size: 16.8 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 2
sukrutrao/Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Language: C++ - Size: 756 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 35 - Forks: 7
ADDALemos/train-schedule-optimisation
Iterative Train Scheduling with Maximum Satisfiability
Language: C++ - Size: 125 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
peremunoz/MaxSAT-modelling
Modelling of optimization problems as Maximum Satisfiability (MaxSAT) in Python
Language: Python - Size: 2.25 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
solhop/solhop 📦
SAT and MaxSAT Solver
Language: Rust - Size: 25.4 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
solhop/msat 📦
MaxSAT Solver
Language: Rust - Size: 13.7 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
solhop/solhop-types 📦
Types for SolHOP
Language: Rust - Size: 4.88 KB - Last synced at: 4 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
meelgroup/mgt
Group Testing via MaxSAT
Language: Python - Size: 183 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
marcmelis/wpm1-3 Fork of Guillem96/WPM-1-3-
Conversor to WPM(1,3), dimacs format
Language: Python - Size: 53.7 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
Manuframil/DEMaxSatSolver
DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.
Language: C - Size: 26.2 MB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
pmatos/maxsatzilla
A portfolio solver for the MaxSAT problem.
Language: C - Size: 8.89 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
meelgroup/gaussmaxhs
GaussMaxHS, a CNF+XOR MaxSAT solver
Language: C++ - Size: 307 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1
lyandut/MyMaXSat
The C++ implementation of the four approximation algorithms for MaxSat Problem.
Language: C++ - Size: 265 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
sukrutrao/MaxSAT-Solver
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
Language: C++ - Size: 126 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0