Skip to content
@meelgroup

Meel Group

Popular repositories Loading

  1. approxmc approxmc Public

    Approximate Model Counter

    C++ 78 26

  2. bosphorus bosphorus Public

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

    C++ 71 19

  3. ganak ganak Public

    High-performance probabilistic exact counter

    C++ 38 9

  4. pepin pepin Public

    A probabilistic approximate DNF counter

    C++ 37 1

  5. manthan manthan Public

    Manthan for Boolean function synthesis

    Python 33 8

  6. unigen unigen Public

    UniGen approximately uniform sampler

    C++ 30 5

Repositories

Showing 10 of 76 repositories
  • ganak Public

    High-performance probabilistic exact counter

    meelgroup/ganak’s past year of commit activity
    C++ 38 9 0 0 Updated May 22, 2025
  • arjun Public

    CNF minimizer and minimal independent set minimizer

    meelgroup/arjun’s past year of commit activity
    C++ 19 5 1 0 Updated May 22, 2025
  • breakid Public

    BreakID, a CNF symmetry-breaking library and tool

    meelgroup/breakid’s past year of commit activity
    C++ 7 3 0 1 Updated May 19, 2025
  • approxmc Public

    Approximate Model Counter

    meelgroup/approxmc’s past year of commit activity
    C++ 78 26 4 0 Updated May 19, 2025
  • SBVA Public Forked from hgarrereyn/SBVA

    Structured BVA CNF rewriter

    meelgroup/SBVA’s past year of commit activity
    C++ 0 MIT 8 0 0 Updated May 14, 2025
  • cadiback Public Forked from arminbiere/cadiback

    CaDiCaL BackBone Analyzer

    meelgroup/cadiback’s past year of commit activity
    C++ 1 MIT 8 0 1 Updated May 10, 2025
  • cadical Public Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    meelgroup/cadical’s past year of commit activity
    C++ 2 MIT 150 0 0 Updated May 10, 2025
  • distesti Public
    meelgroup/distesti’s past year of commit activity
    Python 1 0 0 0 Updated May 4, 2025
  • MUS-ASP Public
    meelgroup/MUS-ASP’s past year of commit activity
    TeX 0 0 0 0 Updated Apr 28, 2025
  • cmsgen Public

    CMSGen, a fast weighted uniform-like sampler

    meelgroup/cmsgen’s past year of commit activity
    C++ 9 3 1 0 Updated Apr 23, 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.

Top languages

Loading…

Most used topics

Loading…