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:
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- UniGen approximately uniform sampler☆38Jul 24, 2025Updated 11 months ago
- 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☆36May 17, 2026Updated last month
- ☆14Nov 28, 2023Updated 2 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.
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆12Oct 25, 2021Updated 4 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Apr 28, 2026Updated 2 months ago
- A cpmpy-based library for constraint acquisition.☆22Mar 23, 2026Updated 3 months ago
- 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
- 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
- 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.
- ☆20Feb 22, 2017Updated 9 years ago
- A type of cellular automaton with the intent of simulating autopoiesis☆19Dec 13, 2024Updated last year
- ☆17Jul 16, 2020Updated 5 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆27Jun 8, 2021Updated 5 years ago
- 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
- Experimentation framework for Popper☆25Jul 24, 2025Updated 11 months ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 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.
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆11Aug 3, 2017Updated 8 years ago
- Performance Engineering of Software Systems (6.172)☆29Feb 27, 2020Updated 6 years ago
- Adversarial Structure Matching for Structured Prediction Tasks☆11Jun 4, 2024Updated 2 years ago
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 4 years ago
- This is a project for practicing Git☆31Jun 30, 2026Updated last week
- 重庆大学数据库☆22Jun 9, 2022Updated 4 years ago
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆28Jun 4, 2025Updated last year
- 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.
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆30Apr 26, 2022Updated 4 years ago
- Research on the various credentials databases that have been dumped.☆11Jan 31, 2018Updated 8 years ago
- ☆11Oct 10, 2017Updated 8 years ago
- An AES-based 384 bit permutation.☆21May 3, 2025Updated last year
- ☆639Oct 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