High-performance model counter
☆67Nov 11, 2026Updated this week
Alternatives and similar repositories for ganak
Users that are interested in ganak are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits☆10Aug 5, 2026Updated 3 months ago
- Approximate Model Counter☆92Updated this week
- Entry to model counting competition 2021.☆26Jun 25, 2024Updated 2 years ago
- ☆19May 12, 2025Updated last year
- CNF preprocessor and functional synthesis tool☆28Updated this week
- 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.
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- ☆12Sep 29, 2021Updated 5 years ago
- CMSGen, a fast weighted uniform-like sampler☆12Nov 26, 2025Updated 11 months ago
- An exact weighted model counter based on algebraic decision diagrams☆10Jul 12, 2026Updated 4 months ago
- UniGen approximately uniform sampler☆39Jul 24, 2025Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- The #SAT solver sharpSAT☆64Aug 28, 2022Updated 4 years ago
- fast probabilistic symmetry detection on graphs☆23Oct 20, 2026Updated 3 weeks ago
- A DQBF solver leveraging definability.☆13Aug 8, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CNF generator in DIMACS format. It produces common families of CNFs.☆75Jul 23, 2026Updated 3 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆54May 4, 2025Updated last year
- ☆13Aug 5, 2025Updated last year
- Manthan for Boolean function synthesis☆36Oct 3, 2026Updated last month
- ☆12Jul 26, 2026Updated 3 months ago
- A toolbox for knowledge compilation☆29Nov 25, 2025Updated 11 months ago
- CAQE is a solver for quantified Boolean formulas☆45May 13, 2023Updated 3 years ago
- ☆32Nov 2, 2025Updated last year
- SAT instance generator for SHA-1☆52Feb 12, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- BDD based DQBF solver☆13Dec 8, 2022Updated 3 years ago
- ☆19May 29, 2026Updated 5 months ago
- A probabilistic approximate DNF counter☆41Updated this week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆89Sep 19, 2026Updated last month
- library with a semiring class and some useful semirings☆11Nov 23, 2019Updated 6 years ago
- Lecture: Practical SAT Solving (ST 2025)☆13Jul 1, 2026Updated 4 months ago
- A curated collection of resources for the Boolean Satisfiability Problem (SAT).☆74Nov 30, 2025Updated 11 months ago
- ☆20Jan 20, 2026Updated 9 months ago
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆28Feb 11, 2026Updated 9 months ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated last year
- Spytial: Lightweight Diagrams for Structured Python Data☆15Nov 5, 2026Updated last week
- Knowledge Enhanced Zero-Shot Visual Relationship Detection☆10May 30, 2024Updated 2 years ago
- Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.☆11Dec 11, 2025Updated 11 months ago
- ☆686Oct 23, 2026Updated 2 weeks ago
- CaDiCaL SAT Solver☆631Updated this week
Are these results useful?