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…
☆31Aug 6, 2026Updated 2 weeks 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:
- 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…☆73Updated this week
- ☆14Nov 28, 2023Updated 2 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 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
- A toolkit for SAT-based prototyping in Python☆459Aug 16, 2026Updated last week
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 3 months ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆14Dec 10, 2018Updated 7 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.
- 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
- CPU Memory Compiler and Parallel programing☆26Nov 18, 2024Updated last year
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 11 years ago
- A type of cellular automaton with the intent of simulating autopoiesis☆19Dec 13, 2024Updated last year
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 6 years ago
- Lagrangian Relaxation-Based Time-Division Multiplexing Optimization for Multi-FPGA Systems☆15Jun 25, 2020Updated 6 years 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.
- 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
- ☆17Jan 14, 2025Updated last year
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆55Jul 16, 2026Updated last month
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 years ago
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 4 months ago
- Performance Engineering of Software Systems (6.172)☆30Feb 27, 2020Updated 6 years ago
- 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
- 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.
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated 2 years ago
- 重庆大学数据库☆21Jun 9, 2022Updated 4 years ago
- This is a project for practicing Git☆31Jun 30, 2026Updated last month
- ☆11Oct 10, 2017Updated 8 years ago
- ☆20Feb 22, 2017Updated 9 years ago
- ☆28Updated this week
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year