Meel Group

Pinned Repositories

approxmc
Approximate Model Counter
Language:C++70 7 3626
arjun
CNF minimizer and minimal independent set calculator
Language:C++14 4 111
barbarik
The first efficient procedure to test whether a sampler is uniform
Language:Python13 5 51
bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Language:C++65 7 3718
ganak
The first scalable probabilistic exact counter
Language:C++25 5 226
KCBox
A toolbox for knowledge compilation
Language:C++21 13 45
manthan
Manthan for Boolean function synthesis
Language:Python28 3 87
MLIC
A new framework to generate interpretable classification rules
Language:Python16 4 64
pepin
A probabilistic approximate DNF counter
Language:C++36 3 01
unigen
UniGen approximately uniform sampler
Language:C++25 3 134

Meel Group's Repositories

meelgroup/approxmc
Approximate Model Counter
Language:C++70 7 3626
meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Language:C++65 7 3718
meelgroup/pepin
A probabilistic approximate DNF counter
Language:C++36 3 01
meelgroup/ganak
The first scalable probabilistic exact counter
Language:C++25 5 226
meelgroup/unigen
UniGen approximately uniform sampler
Language:C++25 3 134
meelgroup/KCBox
A toolbox for knowledge compilation
Language:C++21 13 45
meelgroup/arjun
CNF minimizer and minimal independent set calculator
Language:C++14 4 111
meelgroup/cmsgen
CMSGen, a fast weighted uniform-like sampler
Language:C++9 2 53
meelgroup/breakid
BreakID, a CNF symmetry-breaking library and tool
Language:C++4 11 11
meelgroup/baital
Language:Python3 2 12
meelgroup/weighted-to-unweighted
Weighted to unweighted formula converter
Language:Python3 3 2
meelgroup/meelgroup-website
Website for the group
Language:TeX2 20 06
meelgroup/approxmc-cert
Formally Certified Approximate Model Counter
Language:C++1 2 0
meelgroup/csb
Count and Sample on Bit-vectors.
Language:C++1 2 00
meelgroup/frat-xor
FRAT proof processor with XOR extension
Language:Assembly1 3 2
meelgroup/sharpASP
sharpASP - Exact ASP Counting with Compact Encodings
Language:Python1 2 0
meelgroup/cubeprobe
Testing graph samplers using Subcube Conditioning
Language:Python0 2 00
meelgroup/skolemfc
Approximate Skolem Functions Counter
Language:C++0 1 00
meelgroup/cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C0 0
meelgroup/cadiback
CaDiCaL BackBone Analyzer
Language:C++0 01
meelgroup/cadical
CaDiCaL SAT Solver
Language:C++0 0
meelgroup/d-ASP-US
Language:Python0 0
meelgroup/d4v2
Language:C++0 0
meelgroup/gismo
Tool for finding a minimised Grouped Independent Support (GIS).
Language:C++0 0
meelgroup/hqspre
From projects.informatik.uni-freiburg.de/projects/dqbf/files
Language:C++2 0
meelgroup/meelgroup.github.io
Meelgroup website
Language:HTML16 0
meelgroup/MinLB
On Lower Bounding Minimal Model Count
Language:Python2 0
meelgroup/MUS-ASP
Language:TeX2 0
meelgroup/SBVA
Structured BVA CNF rewriter
Language:C++0 0
meelgroup/SharpVelvet
A fuzzer for model counters
Language:Python