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 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☆13Mar 11, 2011Updated 15 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 years ago
- Repo for feedback and public materials for Mojo plugin for JetBrains IDEs☆10Apr 1, 2024Updated 2 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.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years 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☆460Updated this week
- McOpt is an algorithm that can efficiently solve multicommodity routing problems on networks☆14May 18, 2023Updated 3 years ago
- SRAM macros created for the GF180MCU provided by GlobalFoundries.☆20Apr 10, 2023Updated 3 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- ☆17Jul 16, 2020Updated 6 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- CPU Memory Compiler and Parallel programing☆26Nov 18, 2024Updated last year
- A type of cellular automaton with the intent of simulating autopoiesis☆19Dec 13, 2024Updated last year
- Parallel Presolve for Integer and Linear Optimization☆90Jul 25, 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 6 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated 2 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.
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆25Updated this week
- ☆20Feb 22, 2017Updated 9 years ago
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- PDK for 2nm Technology Node☆26Jul 18, 2026Updated 2 weeks ago
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆30Apr 26, 2022Updated 4 years ago
- 🗝️ Rust bindings to the clingo library☆40Jan 27, 2025Updated last year
- SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout☆29Oct 14, 2024Updated last year
- 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 6 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.
- 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
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆155Jul 7, 2026Updated 3 weeks ago
- ☆42Nov 11, 2024Updated last year
- ☆11Nov 10, 2025Updated 8 months ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆13Nov 10, 2025Updated 8 months ago