Wonderings of a SAT geek

A blog about SAT solving and cryptography

Menu

Skip to content
  • Research
    • Talks
    • Publications
  • Tools
    • CryptoMiniSat
    • Grain of Salt
  • Docs/Faq
    • CryptoMiniSat FAQ
    • MiniSat FAQ
    • XOR clauses
  • About Me

Ganak Architecture in Broad Strokes

July 18, 2026Docs/Faqs, Research, SATmsoos

Post navigation

← Ganak: The Making of a Versatile, High Performance Model Counter

Recent Posts

  • Ganak Architecture in Broad Strokes
  • Ganak: The Making of a Versatile, High Performance Model Counter
  • Ganakv2 Released
  • Ethereum in the age of AOL
  • Computing Tricky Probabilities

Tags

ANF asymmetric branching BCP binary clauses branching bug CNF Collaborative effort Distributed SAT Solving failed literal probing free software Gaussian elimination glues Grain of Salt hyper-binary resolution library lingeling linux memory layout MiniSat model counting OpenCL Optimisation Parallel SAT Solving PrecoSat presentation programming Release research resolution Sage sampling SAT SAT Race Security self-subsuming resolution simplification SQL stamping subsumption testing transitive reduction variable elimination visualisation XOR