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…
☆28Feb 25, 2026Updated this week
Alternatives and similar repositories for UWrMaxSat
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
Sorting:
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 14 years ago
- A framework to ease parallelization of sequential SAT solvers☆30Jan 14, 2026Updated last month
- ☆11Apr 28, 2023Updated 2 years ago
- Offline Particle Tracking Project for ROMS output. Based on LTRANS☆10Dec 10, 2025Updated 2 months ago
- Pseudospectral PDE solver☆12Jun 24, 2025Updated 8 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- ☆16Nov 8, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Python GUI for differential forms☆12Oct 14, 2023Updated 2 years ago
- Gramm calculation core☆11Updated this week
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- The ERSN-OpenMC-Py is a graphical user interface specifically designed to streamline the use of the OpenMC code. It provides a user-frie…☆11Feb 24, 2024Updated 2 years ago
- Auth0 FGA SDK for Go - Use https://github.com/openfga/go-sdk instead☆13Feb 23, 2024Updated 2 years ago
- Quantum simulator of qudits☆18Aug 19, 2025Updated 6 months ago
- ☆11Nov 10, 2025Updated 3 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Mini-applications that exclusively use the Kokkos programming model☆12Mar 21, 2023Updated 2 years ago
- The Hanko documentation☆12Updated this week
- Third version of larcv. This is a complete replacement for larcv2.☆11Jun 24, 2024Updated last year
- Python-based WRF post processing wrapper for WRF-Python, NetCDF4, and MetPy☆12Feb 7, 2019Updated 7 years ago
- Slurm Examples☆10Aug 30, 2024Updated last year
- A lightweight computational physics framework, based on the organization of turboWAVE. Implements a "Simulation, PhysicsModule, ComputeTo…☆11Jun 13, 2023Updated 2 years ago
- ☆15Jul 12, 2025Updated 7 months ago
- SUI node setup☆12Apr 12, 2023Updated 2 years ago
- Research on the various credentials databases that have been dumped.☆11Jan 31, 2018Updated 8 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Fortran source code analysis tool☆11Nov 11, 2020Updated 5 years ago
- Next generation ODE translator☆12Updated this week
- LaunchMON is a software infrastructure that enables HPC run-time tools to co-locate tool daemons with a parallel job. Its API allows a to…☆13Feb 11, 2026Updated 2 weeks ago
- Generalized Operator Modelling of the Ocean (GOMO)☆12Aug 29, 2019Updated 6 years ago
- Description and instructions for installation and use of the Atlantis model.☆14Jun 18, 2025Updated 8 months ago
- Imitation Adversarial Attacks for Black-box Neural Ranking Models☆12Feb 5, 2024Updated 2 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- A basic implementation of a SAT attack on logic locking.☆13Jun 30, 2021Updated 4 years ago
- Experimental port of the TFHE fully homomorphic encryption scheme to Rust.☆12Aug 15, 2022Updated 3 years ago
- Exact reduction of ODE models via linear transformations☆12Feb 17, 2024Updated 2 years ago
- ☆11Sep 29, 2021Updated 4 years ago