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 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:
- 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 last month
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 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☆56Jun 28, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆14Dec 10, 2018Updated 7 years ago
- ☆20Feb 22, 2017Updated 9 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
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 11 years ago
- Parallel Presolve for Integer and Linear Optimization☆87Jun 11, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Implementation of Multiobjective Tree-structured Parzen Estimator☆15Mar 19, 2024Updated 2 years ago
- ☆20Jun 17, 2020Updated 6 years ago
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 6 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 10 months ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 2 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 4 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.
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆28Jun 4, 2025Updated last year
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆24Updated this week
- 🗝️ Rust bindings to the clingo library☆38Jan 27, 2025Updated last year
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆16Mar 5, 2026Updated 3 months ago
- Research_speech_speaker_verification_nist_sre2010☆12Mar 1, 2016Updated 10 years ago
- Research on the various credentials databases that have been dumped.☆11Jan 31, 2018Updated 8 years ago
- ☆11Oct 10, 2017Updated 8 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 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.
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated 2 years ago
- ☆635Oct 16, 2025Updated 8 months ago
- Skeleton (but pronounced like Peloton): A Zero-Click RCE exploit for CVE-2021-0326☆21Mar 16, 2022Updated 4 years ago
- SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout☆27Oct 14, 2024Updated last year
- SCIM 2.0 JAVA development kit☆19May 2, 2025Updated last year
- Native Haskell library for working with zip archives☆49May 17, 2024Updated 2 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago