Hacker GitHub

← All repos

meelgroup/approxmc

View on GitHub ↗ ★ 92 C++

Approximate Model Counter

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2020-08-09 · latest 2025-02-18

Mentions per year 3 mentions · busiest year 2020 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …[2] https://arxiv.org/abs/1306.5726 [3] https://www.cs.toronto.edu/~meel/Papers/cav20-sgm.pdf [4] https://github.com/meelgroup/approxmc [5] https://github.com/meelgroup/unigen [6] https://mccompetition.org/assets/files/2024/MC2024_awards.pd…
    comment by zero_k · 2025-02-18 · in XOR
  2. …(a so-called PAC guarantee), which is a lot harder to do, due to the probabilistic nature. [1] https://github.com/meelgroup/approxmc
    comment by zero_k · 2024-06-12 · in Terence Tao on proof checkers and AI programs
  3. …ps://smt-comp.github.io/2020/results.html So I'm probably a bit biased towards BV. For counting (e.g. https://github.com/meelgroup/approxmc ) and sampling (e.g. https://github.com/meelgroup/unigen ) it's also 99% SAT solver runtime.
    comment by zero_k · 2020-08-09 · in SMT Solving on an iPhone (2018)