MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
☆29Jan 24, 2022Updated 4 years ago
Alternatives and similar repositories for MaxHS
Users that are interested in MaxHS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An exact weighted model counter based on algebraic decision diagrams☆10Jul 12, 2026Updated 3 months ago
- static symmetry breaking for SAT☆26May 26, 2026Updated 5 months ago
- The probSAT SAT Solver☆27Oct 21, 2022Updated 4 years ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆30Nov 5, 2025Updated 11 months 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.
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- A toolkit for SAT-based prototyping in Python☆466Oct 20, 2026Updated 2 weeks ago
- Submission to PACE 17☆24Jan 9, 2025Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆35Jun 8, 2021Updated 5 years ago
- The Pseudo-Boolean Solver MiniSat+☆29Oct 2, 2012Updated 14 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Approximate Model Counter☆92Oct 10, 2026Updated 3 weeks ago
- ☆12Sep 29, 2021Updated 5 years ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- ☆10May 25, 2017Updated 9 years ago
- An efficient minimal perfect hash function generator for small sets☆12Dec 12, 2020Updated 5 years ago
- CP+SAT solver framework built to be reliable, performant, and extensible☆60Oct 26, 2026Updated last week
- UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …☆32Aug 6, 2026Updated 2 months ago
- fast probabilistic symmetry detection on graphs☆22Oct 20, 2026Updated 2 weeks ago
- ☆10Apr 13, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Jul 21, 2024Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Sep 30, 2026Updated last month
- ☆14Dec 31, 2024Updated last year
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- PyPI binary distribution of CBC optimizer☆15Updated this week
- Exact Content-based Image Retrieval System☆13Jul 11, 2022Updated 4 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- ☆10Oct 22, 2024Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rule-Based Modeling and Simulation Gui☆12Jun 12, 2020Updated 6 years ago
- Modern library for Linear and Integer Programming with Python 3☆11Jul 22, 2019Updated 7 years ago
- HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits☆10Aug 5, 2026Updated 2 months ago
- High-performance model counter☆66Oct 25, 2026Updated last week
- The DRAT-trim proof checker☆73Nov 25, 2024Updated last year
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- Lean-Yjs: Formal Verification of Yjs Integration Algorithm☆20Aug 17, 2026Updated 2 months ago