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…
☆31May 21, 2026Updated last week
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:
- UniGen approximately uniform sampler☆38Jul 24, 2025Updated 10 months 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☆35May 17, 2026Updated 2 weeks ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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☆56Jun 28, 2022Updated 3 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Apr 28, 2026Updated last month
- Project of OOP, Tsinghua University, 2018 spring; Implement of "VLSI Module Placement Based on Rectangle Packing by the Sequence-Pair"☆13Jun 30, 2019Updated 6 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- A toolkit for SAT-based prototyping in Python☆453May 21, 2026Updated last week
- 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.☆20Apr 10, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- Parallel Presolve for Integer and Linear Optimization☆87May 20, 2026Updated last week
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆20Jun 17, 2020Updated 5 years ago
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 6 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆11Aug 3, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated last year
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 4 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆15Mar 5, 2026Updated 2 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago
- ScheduleOpt benchmarks☆26May 3, 2026Updated 3 weeks ago
- Research on the various credentials databases that have been dumped.☆11Jan 31, 2018Updated 8 years ago
- Implementation of Espresso-II method for heuristic minimization of single output boolean functions☆33Feb 23, 2024Updated 2 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- An AES-based 384 bit permutation.☆21May 3, 2025Updated last year
- ☆633Oct 16, 2025Updated 7 months ago
- ☆11Apr 28, 2023Updated 3 years ago
- Skeleton (but pronounced like Peloton): A Zero-Click RCE exploit for CVE-2021-0326☆21Mar 16, 2022Updated 4 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆29Nov 5, 2025Updated 6 months ago
- Repository for RT-Xen project☆21Oct 13, 2017Updated 8 years ago