Skip to content
@meelgroup

Meel Group

Popular repositories Loading

  1. approxmc approxmc Public

    Approximate Model Counter

    C++ 70 26

  2. bosphorus bosphorus Public

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

    C++ 65 18

  3. pepin pepin Public

    A probabilistic approximate DNF counter

    C++ 36 1

  4. manthan manthan Public

    Manthan for Boolean function synthesis

    Python 28 7

  5. ganak ganak Public

    The first scalable probabilistic exact counter

    C++ 25 6

  6. unigen unigen Public

    UniGen approximately uniform sampler

    C++ 25 4

Repositories

Showing 10 of 74 repositories
  • MUS-ASP Public
    meelgroup/MUS-ASP’s past year of commit activity
    TeX 0 0 0 0 Updated Sep 17, 2024
  • meelgroup-website Public

    Website for the group

    meelgroup/meelgroup-website’s past year of commit activity
    TeX 2 MIT 6 0 0 Updated Sep 5, 2024
  • MinLB Public

    On Lower Bounding Minimal Model Count

    meelgroup/MinLB’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 1, 2024
  • SharpVelvet Public

    A fuzzer for model counters

    meelgroup/SharpVelvet’s past year of commit activity
    Python 0 0 0 0 Updated Aug 24, 2024
  • KCBox Public

    A toolbox for knowledge compilation

    meelgroup/KCBox’s past year of commit activity
    C++ 21 MIT 5 0 0 Updated Aug 21, 2024
  • meelgroup.github.io Public

    Meelgroup website

    meelgroup/meelgroup.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Aug 16, 2024
  • csb Public

    Count and Sample on Bit-vectors.

    meelgroup/csb’s past year of commit activity
    C++ 1 0 0 0 Updated Aug 11, 2024
  • cadiback Public Forked from arminbiere/cadiback

    CaDiCaL BackBone Analyzer

    meelgroup/cadiback’s past year of commit activity
    C++ 1 MIT 4 0 1 Updated Aug 9, 2024
  • approxmc-cert Public

    Formally Certified Approximate Model Counter

    meelgroup/approxmc-cert’s past year of commit activity
    C++ 1 0 0 0 Updated Jul 25, 2024
  • bosphorus Public

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

    meelgroup/bosphorus’s past year of commit activity
    C++ 65 18 4 0 Updated Jul 23, 2024
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…