Skip to content
@meelgroup

Meel Group

Popular repositories Loading

  1. approxmc approxmc Public

    Approximate Model Counter

    C++ 91 29

  2. bosphorus bosphorus Public

    Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

    C++ 88 19

  3. ganak ganak Public

    High-performance model counter

    C++ 66 14

  4. pepin pepin Public

    A probabilistic approximate DNF counter

    C++ 41 1

  5. unigen unigen Public

    UniGen approximately uniform sampler

    C++ 39 6

  6. manthan manthan Public

    Manthan for Boolean function synthesis

    Python 36 9

Repositories

Showing 10 of 118 repositories
  • count_fuzzer Public

    Model Counting Fuzzer

    meelgroup/count_fuzzer's past year of commit activity
    Python 0 0 0 0 Updated Oct 21, 2026
  • ganak Public

    High-performance model counter

    meelgroup/ganak's past year of commit activity
    C++ 66 14 0 6 Updated Oct 21, 2026
  • arjun Public

    CNF preprocessor and functional synthesis tool

    meelgroup/arjun's past year of commit activity
    C++ 28 8 0 0 Updated Oct 21, 2026
  • tex2lean-releases Public
    meelgroup/tex2lean-releases's past year of commit activity
    Shell 5 0 3 0 Updated Oct 19, 2026
  • frat-xor Public

    FRAT proof processor with XOR extension

    meelgroup/frat-xor's past year of commit activity
    Assembly 1 0 1 1 Updated Oct 18, 2026
  • arlib Public

    Automated Reasoning Library for Lean

    meelgroup/arlib's past year of commit activity
    Lean 2 Apache-2.0 1 0 1 Updated Oct 17, 2026
  • cellcounting Public
    meelgroup/cellcounting's past year of commit activity
    Lean 0 0 0 0 Updated Oct 16, 2026
  • csb Public

    Count and Sample on Bit-vectors.

    meelgroup/csb's past year of commit activity
    C++ 11 3 1 3 Updated Oct 14, 2026
  • counting-matroid Public
    meelgroup/counting-matroid's past year of commit activity
    Lean 2 0 0 0 Updated Oct 13, 2026
  • approxmc Public

    Approximate Model Counter

    meelgroup/approxmc's past year of commit activity
    C++ 91 29 1 0 Updated Oct 10, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.