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 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.☆13Dec 2, 2021Updated 4 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆30Nov 5, 2025Updated 11 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A toolkit for SAT-based prototyping in Python☆465Updated this week
- 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
- A package for converting IC layout (OASIS/GDS2) into 3D formats such as .GLB/glTF2.0, to load to the web.☆10Aug 8, 2023Updated 3 years ago
- ☆11Dec 15, 2018Updated 7 years ago
- Learning with Partial Supervision☆10Sep 21, 2023Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- McOpt is an algorithm that can efficiently solve multicommodity routing problems on networks☆16May 18, 2023Updated 3 years ago
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆16Dec 10, 2018Updated 7 years ago
- ☆12Jun 1, 2026Updated 4 months ago
- The experiments repository for combining NVIB with Transformers☆10Feb 6, 2023Updated 3 years ago
- SRAM macros created for the GF180MCU provided by GlobalFoundries.☆20Apr 10, 2023Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 5 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆27Jun 8, 2021Updated 5 years ago
- ☆17Jul 16, 2020Updated 6 years ago
- Spectral Toolkit of Algorithms for Graphs☆14Jun 6, 2025Updated last year
- Fast brown clustering using python☆10Aug 21, 2023Updated 3 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 type of cellular automaton with the intent of simulating autopoiesis☆19Dec 13, 2024Updated last year
- The Zenon theorem prover☆16Jul 19, 2023Updated 3 years ago
- Lagrangian Relaxation-Based Time-Division Multiplexing Optimization for Multi-FPGA Systems☆16Jun 25, 2020Updated 6 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- Parallel Presolve for Integer and Linear Optimization☆93Oct 16, 2026Updated last week
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- ☆21Jun 17, 2020Updated 6 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 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.
- Official code implementation for "SignSparK: Efficient Multilingual Sign Language Production via Sparse Keyframe Learning" (ECCV 2026).☆28Oct 1, 2026Updated 3 weeks ago
- Paper: Learning to Recombine and Resample Data for Compositional Generalization☆11Oct 9, 2020Updated 6 years ago
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆57Sep 17, 2026Updated last month
- Refined Commonsense Knowledge from Large-Scale Web Contents (TKDE 2022)☆14Oct 19, 2022Updated 4 years ago
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 4 years ago
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 6 months ago
- Butler-Portugal algorithm for tensor canonicalization☆18Sep 26, 2026Updated 3 weeks ago