Skip to content

@meelgroup Meel Group

Change the repository type filter

All

    Repositories list

    87 repositories

    • ganak

      Public
      High-performance model counter
      satisfiabilitymodel-countingdimacs-cnf
      C++
      •
      Other
      •12•50•0•5•Updated Dec 8, 2025Dec 8, 2025

    • count_fuzzer

      Public
      Model Counting Fuzzer
      Jupyter Notebook
      •0•0•2•0•Updated Dec 7, 2025Dec 7, 2025

    • kahypar

      Public
      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.
      C++
      •
      GNU General Public License v3.0
      •98•0•0•0•Updated Dec 7, 2025Dec 7, 2025

    • cadical

      Public
      CaDiCaL SAT Solver
      C++
      •
      MIT License
      •162•5•0•1•Updated Dec 7, 2025Dec 7, 2025

    • kahypar-shared-resources

      Public
      This repository contains resources shared between KaHyPar and Mt-KaHyPar under MIT license.
      C++
      •
      MIT License
      •3•0•0•0•Updated Dec 6, 2025Dec 6, 2025

    • csb

      Public
      Count and Sample on Bit-vectors.
      C++
      •2•7•2•0•Updated Dec 4, 2025Dec 4, 2025

    • pepin

      Public
      A probabilistic approximate DNF counter
      countingdnfpac-guarantee
      C++
      •
      MIT License
      •1•39•0•0•Updated Nov 30, 2025Nov 30, 2025

    • approxmc

      Public
      Approximate Model Counter
      countingsatsatisfiabilitycnf-clausesmodel-coutingdimacs-cnf
      C++
      •
      Other
      •27•81•1•1•Updated Nov 30, 2025Nov 30, 2025

    • arjun

      Public
      CNF minimizer and minimal independent set minimizer
      cnfsimplifiermodel-countingdimacs-cnf
      C++
      •
      Other
      •7•23•1•0•Updated Nov 29, 2025Nov 29, 2025

    • minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •0•3•0•0•Updated Nov 28, 2025Nov 28, 2025

    • SBVA

      Public
      Structured BVA CNF rewriter
      cnfsat-solverconjunctive-normal-formdimacs-cnf
      C++
      •
      MIT License
      •8•0•0•0•Updated Nov 28, 2025Nov 28, 2025

    • cadiback

      Public
      CaDiCaL BackBone Analyzer
      C++
      •
      MIT License
      •11•1•0•0•Updated Nov 28, 2025Nov 28, 2025

    • cmsgen

      Public
      CMSGen, a fast weighted uniform-like sampler
      samplercnfdimacscnf-clausesuniformity
      C++
      •
      Other
      •3•10•1•0•Updated Nov 26, 2025Nov 26, 2025

    • KCBox

      Public
      A toolbox for knowledge compilation
      model-countingknowledge-compilationuniform-sampling
      C++
      •
      MIT License
      •5•26•0•0•Updated Nov 25, 2025Nov 25, 2025

    • RelNet-ASP

      Public
      A Fast and Accurate ASP Counting Based Network Reliability Estimator
      Prolog
      •
      MIT License
      •0•0•0•0•Updated Oct 15, 2025Oct 15, 2025

    • weighted-to-unweighted

      Public
      Weighted to unweighted formula converter
      Python
      •1•3•0•0•Updated Sep 18, 2025Sep 18, 2025

    • ttc

      Public
      Volume computation for SMT LRA formulas.
      Python
      •1•2•0•0•Updated Aug 15, 2025Aug 15, 2025

    • frat-xor

      Public
      FRAT proof processor with XOR extension
      Assembly
      •0•1•1•1•Updated Aug 13, 2025Aug 13, 2025

    • approxmc-cert

      Public
      Formally Certified Approximate Model Counter
      C++
      •
      Other
      •0•2•0•0•Updated Aug 13, 2025Aug 13, 2025

    • mccomp-ganak-appmc-2025

      Public
      Model Counting Competition Submission of Ganak + Approxmc 2025
      cnfdimacsmodel-countingapproximate-counting
      Shell
      •
      MIT License
      •0•0•0•0•Updated Aug 9, 2025Aug 9, 2025

    • unigen

      Public
      UniGen approximately uniform sampler
      samplingcnf-clausesuniform-samplingdimacs-cnf
      C++
      •
      Other
      •7•33•1•0•Updated Jul 24, 2025Jul 24, 2025

    • ganak-presentation

      Public
      TeX
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jul 24, 2025Jul 24, 2025

    • SharpASP-SR

      Public
      The code of SharpASP-SR
      Answer Set Programming
      •
      MIT License
      •0•0•0•0•Updated Jul 10, 2025Jul 10, 2025

    • sharpASP

      Public
      sharpASP - Exact ASP Counting with Compact Encodings
      Python
      •
      MIT License
      •1•1•0•0•Updated Jul 10, 2025Jul 10, 2025

    • pact

      Public
      pact is an approximate model counter targeting projected counting on hybrid SMT formulas
      SMT
      •
      Other
      •269•0•0•0•Updated Jun 24, 2025Jun 24, 2025

    • breakid

      Public
      BreakID, a CNF symmetry-breaking library and tool
      cnfsatisfiabilitysymmetry-breaking
      C++
      •
      Other
      •4•8•0•1•Updated Jun 18, 2025Jun 18, 2025

    • meelgroup.github.io

      Public
      Meelgroup website
      HTML
      •0•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • meelgroup-website

      Public
      Website for the group
      TeX
      •
      MIT License
      •6•2•0•0•Updated Jun 10, 2025Jun 10, 2025

    • bn-counting

      Public
      Tool of Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
      Answer Set Programming
      •
      MIT License
      •0•0•0•0•Updated Jun 4, 2025Jun 4, 2025

    • distesti

      Public
      Python
      •0•1•0•0•Updated May 4, 2025May 4, 2025