maxsat-solver

There are 12 repositories under maxsat-solver 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

    Language:C++376259

  • marekpiotrow/UWrMaxSat

    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++213103

  • khzouroussama/SatHeuristicSolverGui

    a GUI for satHeuristicSolver made with ElectronJS + reactJS

    Language:JavaScript9300

  • Manuframil/DEMaxSatSolver

    DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.

    Language:C3210

  • mullzhang/pyakmaxsat

    Python binding of AK-MaxSAT solver

    Language:C++3110

  • sukrutrao/MaxSAT-Solver

    A simple partial unweighted MaxSAT Solver that uses a Minisat backbone

    Language:C++320
  • Sat4.NET

    ChiefMonk/Sat4.NET

    The boolean satisfaction and optimization library for .NET

    Language:C#2100

  • msakai/bnn-verification

    BNN verification dataset for Max-SAT Evaluation 2020

    Language:TeX220

  • psaikko/LMHS

    A SAT-IP Hybrid MaxSAT solver

    Language:C++1212

  • solhop/msat

    MaxSAT Solver

    Language:Rust0200

  • solhop/solhop

    SAT and MaxSAT Solver

    Language:Rust0200

  • AndrewIjano/gel-max-sat

    A tractable Graphic EL MaxSAT solver

    Language:Python10