Skip to content
@meelgroup

Meel Group

Popular repositories Loading

  1. approxmc approxmc Public

    Approximate Model Counter

    C++ 82 28

  2. bosphorus bosphorus Public

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

    C++ 77 19

  3. ganak ganak Public

    High-performance model counter

    C++ 50 12

  4. pepin pepin Public

    A probabilistic approximate DNF counter

    C++ 39 1

  5. manthan manthan Public

    Manthan for Boolean function synthesis

    Python 35 9

  6. unigen unigen Public

    UniGen approximately uniform sampler

    C++ 33 7

Repositories

Showing 10 of 89 repositories
  • arjun Public

    CNF minimizer and minimal independent set minimizer

    meelgroup/arjun’s past year of commit activity
    C++ 23 7 0 1 Updated Jan 9, 2026
  • EvalMaxSAT Public Forked from FlorentAvellaneda/EvalMaxSAT

    State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques

    meelgroup/EvalMaxSAT’s past year of commit activity
    C++ 0 GPL-3.0 9 0 0 Updated Jan 6, 2026
  • ganak Public

    High-performance model counter

    meelgroup/ganak’s past year of commit activity
    C++ 50 12 0 5 Updated Dec 23, 2025
  • count_fuzzer Public

    Model Counting Fuzzer

    meelgroup/count_fuzzer’s past year of commit activity
    Jupyter Notebook 0 0 2 0 Updated Dec 21, 2025
  • approxmc Public

    Approximate Model Counter

    meelgroup/approxmc’s past year of commit activity
    C++ 82 28 1 1 Updated Dec 21, 2025
  • MBNpy Public Forked from jieunbyun/MBNpy

    Matrix-based Bayesian network (MBN) is an alternative BN data structure, being specialised on large-scale systems (i.e. high-dimensional probabilities).

    meelgroup/MBNpy’s past year of commit activity
    Python 0 5 0 0 Updated Dec 16, 2025
  • csb Public

    Count and Sample on Bit-vectors.

    meelgroup/csb’s past year of commit activity
    C++ 7 2 2 0 Updated Dec 15, 2025
  • cadiback Public
    meelgroup/cadiback’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Dec 14, 2025
  • cadical Public
    meelgroup/cadical’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Dec 14, 2025
  • kahypar Public Forked from kahypar/kahypar

    KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of very high quality.

    meelgroup/kahypar’s past year of commit activity
    C++ 0 GPL-3.0 98 0 0 Updated Dec 7, 2025
View all repositories

People

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