MiniCard: An efficient cardinality solver based on MiniSAT
☆22Sep 21, 2026Updated last month
Alternatives and similar repositories for minicard
Users that are interested in minicard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The borg algorithm portfolio platform.☆14Apr 13, 2013Updated 13 years ago
- HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits☆10Aug 5, 2026Updated 3 months ago
- The probSAT SAT Solver☆27Oct 21, 2022Updated 4 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- High-performance model counter☆67Oct 25, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 4 months ago
- ☆16Jun 24, 2024Updated 2 years ago
- Dimacs CNF utilities☆21Sep 29, 2026Updated last month
- Verifying Integer Programming Results☆10Jan 7, 2025Updated last year
- The Stochastic Local Search SAT Solver from UBC☆33Apr 10, 2022Updated 4 years ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆20Sep 5, 2014Updated 12 years ago
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆42Nov 20, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Applications of reinforcement learning to Groebner basis computation.☆15Jun 13, 2021Updated 5 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆34Jun 22, 2023Updated 3 years ago
- fast probabilistic symmetry detection on graphs☆23Oct 20, 2026Updated 2 weeks ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- ☆11Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- library with a semiring class and some useful semirings☆11Nov 23, 2019Updated 6 years ago
- SEquence ALignment evaluation suite☆10Sep 11, 2012Updated 14 years ago
- A RISC-V RV32 model ready for SMT program synthesis.☆12Jun 23, 2021Updated 5 years ago
- A Julia package for BDD and OBDD☆12Oct 27, 2020Updated 6 years ago
- Profiling and Visualisation for Constraint Programming☆10May 18, 2022Updated 4 years ago
- static symmetry breaking for SAT☆29Updated this week
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated last year
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 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.
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- ☆11Nov 13, 2021Updated 4 years ago
- Unsupervised, geometry-based taxonomy learning for knowledge graphs☆12Jan 9, 2022Updated 4 years ago
- ☆32Nov 2, 2025Updated last year
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆28Jul 31, 2026Updated 3 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 years ago