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…
☆31Feb 25, 2026Updated 2 months 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
- UniGen approximately uniform sampler☆38Jul 24, 2025Updated 9 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- ☆13Nov 28, 2023Updated 2 years ago
- ☆12Oct 25, 2021Updated 4 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.
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Apr 28, 2026Updated last week
- A cpmpy-based library for constraint acquisition.☆21Mar 23, 2026Updated last month
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- McOpt is an algorithm that can efficiently solve multicommodity routing problems on networks☆14May 18, 2023Updated 2 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆13Dec 10, 2018Updated 7 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 5 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- ☆17Jul 16, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- Parallel Presolve for Integer and Linear Optimization☆86Apr 1, 2026Updated last month
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 6 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 9 months ago
- PyTorch 1.5 C++ frontend API☆20May 5, 2020Updated 6 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 2 weeks ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆11Aug 3, 2017Updated 8 years ago
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 3 years ago
- This is a project for practicing Git☆31Feb 6, 2026Updated 3 months ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆24Jan 4, 2026Updated 4 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago
- ScheduleOpt benchmarks☆24May 3, 2026Updated last week
- Team J28 submission for the ROADEF/EURO Challenge 2018☆12Apr 26, 2020Updated 6 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
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An AES-based 384 bit permutation.☆21May 3, 2025Updated last year
- ☆628Oct 16, 2025Updated 6 months 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
- SCIM 2.0 JAVA development kit☆19May 2, 2025Updated last year
- ☆15Jul 12, 2025Updated 9 months ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Nov 10, 2025Updated 6 months ago