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…
☆30Feb 25, 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:
- 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☆34Jan 14, 2026Updated 3 months ago
- ☆13Nov 28, 2023Updated 2 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 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.
- 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☆55Jun 28, 2022Updated 3 years ago
- ☆12Oct 25, 2021Updated 4 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- 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
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- 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
- 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.
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- ☆17Jul 16, 2020Updated 5 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- CPU Memory Compiler and Parallel programing☆26Nov 18, 2024Updated last year
- Implementation of Multiobjective Tree-structured Parzen Estimator☆15Mar 19, 2024Updated 2 years ago
- ☆20Jun 17, 2020Updated 5 years ago
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 6 years ago
- Experimentation framework for Popper☆24Jul 24, 2025Updated 8 months ago
- A toolkit for SAT-based prototyping in Python☆446Mar 5, 2026Updated last month
- 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.
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- Website for InfiniteNature-Zero, ECCV 2022☆15Nov 5, 2022Updated 3 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 2 years ago
- Code for Generalizable Articulated Object Reconstruction from Casually Captured RGBD Videos☆25Nov 17, 2025Updated 5 months ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆76Nov 19, 2023Updated 2 years ago
- The anytime MaxSAT solver Loandra☆20Jun 5, 2025Updated 10 months ago
- ☆14Dec 22, 2023Updated 2 years ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆11Aug 3, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Performance Engineering of Software Systems (6.172)☆28Feb 27, 2020Updated 6 years ago
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated last year
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 3 years ago
- This is a project for practicing Git☆31Feb 6, 2026Updated 2 months ago
- 重庆大学数据库☆18Jun 9, 2022Updated 3 years ago
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago