Projects in Awesome Lists tagged with maxsat-solver
A curated list of projects in awesome lists tagged with maxsat-solver .
https://github.com/msakai/bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024
adversarial-examples binarized-neural-networks maxsat maxsat-solver milp mip mixed-integer-linear-programming mixed-integer-programming sat-solver
Last synced: 05 Feb 2026
https://github.com/solhop/msat
MaxSAT Solver
maxsat maxsat-solver sat satisfiability unsat
Last synced: 30 Dec 2025
https://github.com/solhop/solhop
SAT and MaxSAT Solver
maxsat maxsat-solver sat sat-solver unsat
Last synced: 09 May 2025
https://github.com/abdelmalek-maskri/max-sat
A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup
docker docker-container evolutionary-algorithms genetic-algorithm maxsat maxsat-solver python3
Last synced: 30 Apr 2026