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:
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- 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
- 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.
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- 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
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Project of OOP, Tsinghua University, 2018 spring; Implement of "VLSI Module Placement Based on Rectangle Packing by the Sequence-Pair"☆13Jun 30, 2019Updated 7 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆16Dec 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
- 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.
- ☆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
- 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☆92Updated this week
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 7 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 4 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.
- 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
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated 2 years ago
- 重庆大学数据库☆20Jun 9, 2022Updated 4 years ago
- This is a project for practicing Git☆31Jun 30, 2026Updated 2 months ago
- ☆11Oct 10, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- ☆30Sep 1, 2026Updated last week
- PDK for 2nm Technology Node☆36Jul 18, 2026Updated last month
- 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.
- SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout☆29Oct 14, 2024Updated last year
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- ☆666Oct 16, 2025Updated 10 months ago
- Research on the various credentials databases that have been dumped.☆11Jan 31, 2018Updated 8 years ago
- 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☆159Aug 28, 2026Updated 2 weeks ago