corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087aa-2652-70fa-9182-43d39bc8b2cf

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

msoos.org · published 1 March 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at msoos.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
33
Words captured
3,439

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/meelgroup/ganak
github.com
https://github.com/meelgroup/arjun
github.com
http://www.cril.univ-artois.fr/KC/bpe2.html
cril.univ-artois.fr
https://www.cs.toronto.edu/~meel/Papers/iccad22.pdf
cs.toronto.edu
https://github.com/msoos/cryptominisat
github.com
The Inprocessing API of CryptoMiniSat Read at the source ↗
msoos.org
https://www.cs.toronto.edu/~meel/
cs.toronto.edu
https://mccompetition.org/
mccompetition.org
https://drops.dagstuhl.de/storage/00lipics/lipics-vol210-cp2021/LIPIcs.CP.2021.8/LIPIcs.CP.2021.8.pdf
drops.dagstuhl.de
https://www.msoos.org/wordpress/wp-content/uploads/2025/05/ganak2.pdf
msoos.org
https://en.wikipedia.org/wiki/Micha%C5%82_Zalewski
en.wikipedia.org
https://github.com/meelgroup/ganak/releases
github.com
https://www.msoos.org/ganak/
msoos.org
https://arxiv.org/pdf/2308.15819
arxiv.org
https://www.ijcai.org/Proceedings/09/Papers/074.pdf
ijcai.org
https://ben-strasser.net/paper/pace_solver_description_tree_depth_with_flowcutter_international_symposium_on_parameterized_and_exact_computation.pdf
ben-strasser.net
https://github.com/kit-algo/flow-cutter-pace17
github.com
https://link.springer.com/chapter/10.1007/978-3-319-24318-4_1
link.springer.com
https://www.sciencedirect.com/science/article/pii/S0004370219301961
sciencedirect.com
https://link.springer.com/chapter/10.1007/978-3-540-79719-7_4
link.springer.com
https://github.com/meelgroup/SharpVelvet
github.com
https://cs.stanford.edu/~preiner/publications/2017/NiemetzPreinerBiere-SMT17.pdf
cs.stanford.edu
https://link.springer.com/chapter/10.1007/978-3-031-98682-6_5
link.springer.com
https://www.cs.helsinki.fi/u/mjarvisa/papers/heule-jarvisalo-biere.sat11.pdf
cs.helsinki.fi
Memory layout of clauses in MiniSat Read at the source ↗
msoos.org
https://journals.sagepub.com/doi/abs/10.3233/SAT190064
journals.sagepub.com
https://cca.informatik.uni-freiburg.de/papers/SoerenssonBiere-SAT09.pdf
cca.informatik.uni-freiburg.de
http://minisat.se/MiniSat.html
minisat.se
https://fmv.jku.at/papers/FleuryBiere-FMV-TR-21-3.pdf
fmv.jku.at
https://docs.alliancecan.ca/wiki/Trillium
docs.alliancecan.ca
https://valgrind.org/docs/manual/ms-manual.html
valgrind.org
https://github.com/N-R-K/ChibiHash
github.com
https://nrk.neocities.org/
nrk.neocities.org