meelgroup / approxmc Star 90 Code Issues Pull requests Approximate Model Counter counting sat satisfiability cnf-clauses model-couting dimacs-cnf Updated Aug 19, 2026 C++