Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with maxsat
A curated list of projects in awesome lists tagged with maxsat .
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: 21 Nov 2024
https://github.com/solhop/msat
MaxSAT Solver
maxsat maxsat-solver sat satisfiability unsat
Last synced: 15 Nov 2024
https://github.com/solhop/solhop
SAT and MaxSAT Solver
maxsat maxsat-solver sat sat-solver unsat
Last synced: 15 Nov 2024
https://github.com/pmatos/maxsatzilla
A portfolio solver for the MaxSAT problem.
constraint-solving-algorithm maxsat portfolio-solver
Last synced: 11 Nov 2024
