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…
☆29Feb 25, 2026Updated 3 weeks ago
Alternatives and similar repositories for UWrMaxSat
Users that are interested in UWrMaxSat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- A framework to ease parallelization of sequential SAT solvers☆32Jan 14, 2026Updated 2 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆54Jun 28, 2022Updated 3 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Jun 13, 2025Updated 9 months ago
- ☆16Jul 16, 2020Updated 5 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆13Dec 10, 2018Updated 7 years ago
- ☆19Feb 22, 2017Updated 9 years ago
- A type of cellular automaton with the intent of simulating autopoiesis☆19Dec 13, 2024Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 5 years ago
- SRAM macros created for the GF180MCU provided by GlobalFoundries.☆19Apr 10, 2023Updated 2 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- Parallel Presolve for Integer and Linear Optimization☆85Jan 29, 2026Updated last month
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆18Jun 17, 2020Updated 5 years ago
- ScheduleOpt benchmarks☆19Mar 10, 2026Updated 2 weeks ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 7 months ago
- A toolkit for SAT-based prototyping in Python☆447Mar 5, 2026Updated 2 weeks ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- The Zenon theorem prover☆15Jul 19, 2023Updated 2 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated last year
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆27Jun 4, 2025Updated 9 months ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆24Jan 4, 2026Updated 2 months ago
- AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. Thi…☆41Aug 12, 2025Updated 7 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Mar 5, 2026Updated 2 weeks ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago
- This is an enhanced GPU MPM framework with explicit solver☆19Oct 20, 2025Updated 5 months ago
- SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout☆24Oct 14, 2024Updated last year
- Implementation of Espresso-II method for heuristic minimization of single output boolean functions☆32Feb 23, 2024Updated 2 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- Skeleton (but pronounced like Peloton): A Zero-Click RCE exploit for CVE-2021-0326☆20Mar 16, 2022Updated 4 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆29Nov 5, 2025Updated 4 months ago