MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
☆28Jan 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
Sorting:
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- Applications of reinforcement learning to Groebner basis computation.☆15Jun 13, 2021Updated 4 years ago
- An experimental mutual induction tactic for Lean 4.☆22Jan 12, 2026Updated last month
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated 3 weeks ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆18Jun 22, 2025Updated 8 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆71Aug 11, 2025Updated 6 months ago
- The anytime MaxSAT solver Loandra☆20Jun 5, 2025Updated 8 months ago
- A framework to ease parallelization of sequential SAT solvers☆30Jan 14, 2026Updated last month
- Submission to PACE 17☆23Jan 9, 2025Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆27Feb 21, 2026Updated last week
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 17, 2026Updated last week
- ☆45Apr 8, 2025Updated 10 months ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Nov 25, 2022Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- The probSAT SAT Solver☆26Oct 21, 2022Updated 3 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 9 months ago
- Data sets and ML models versioning example from DVC get started☆10Jun 4, 2024Updated last year
- Approximate Model Counter☆83Feb 14, 2026Updated 2 weeks ago
- ☆19Oct 23, 2025Updated 4 months ago
- ☆12Feb 18, 2024Updated 2 years ago
- HeteroCL-MLIR dialect for accelerator design☆42Sep 18, 2024Updated last year
- A toolkit for SAT-based prototyping in Python☆445Feb 23, 2026Updated last week
- ☆44Updated this week
- A Python library for working with logic networks, synthesis, and optimization.☆74Feb 23, 2026Updated last week
- Creating an NFT collection on Solana!☆14Nov 8, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- ☆15Nov 26, 2024Updated last year
- The official NodeJS driver for the Cyton board over Serial.☆16Feb 18, 2019Updated 7 years ago
- Case study using dotfurther's Open Discover Platform with the RavenDB document store to rapidly create a full-text search/eDiscovery/info…☆12May 28, 2024Updated last year
- ☆10May 25, 2017Updated 8 years ago
- The AlgoHUB pyteal course☆11Aug 25, 2023Updated 2 years ago
- ☆13Feb 12, 2026Updated 2 weeks ago
- Sample code for Raspberry Pi and Pimoroni Enviro pHat, Automation pHat and Automation Hat☆10Jun 24, 2021Updated 4 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- ☆10Oct 22, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Very small and simple parser for CPLEX LP files into logical Python data structures☆11Dec 20, 2012Updated 13 years ago