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…
☆32Aug 6, 2026Updated last month
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☆39Jul 24, 2025Updated last year
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆74Updated this week
- ☆14Nov 28, 2023Updated 2 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 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, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- ☆13Oct 25, 2021Updated 4 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆15Dec 31, 2022Updated 3 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆18Apr 28, 2026Updated 5 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- A toolkit for SAT-based prototyping in Python☆461Aug 16, 2026Updated last month
- McOpt is an algorithm that can efficiently solve multicommodity routing problems on networks☆16May 18, 2023Updated 3 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆16Dec 10, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- ☆17Jul 16, 2020Updated 6 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆27Jun 8, 2021Updated 5 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 3 years ago
- Parallel Presolve for Integer and Linear Optimization☆92Updated this week
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 7 years ago
- Implementation of Multiobjective Tree-structured Parzen Estimator☆15Mar 19, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆21Jun 17, 2020Updated 6 years ago
- Lagrangian Relaxation-Based Time-Division Multiplexing Optimization for Multi-FPGA Systems☆15Jun 25, 2020Updated 6 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- ☆17Jan 14, 2025Updated last year
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 years ago
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 5 months ago
- Performance Engineering of Software Systems (6.172)☆30Feb 27, 2020Updated 6 years ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆11Aug 3, 2017Updated 9 years ago
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated 2 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆28Jul 31, 2026Updated 2 months ago
- ☆11Oct 10, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 4 years ago
- Structured BVA☆46Apr 26, 2024Updated 2 years ago