Meel Group
Results
7
repositories owned by
Meel Group
bosphorus
65
Stars
18
Forks
Watchers
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
approxmc
70
Stars
25
Forks
Watchers
Approximate Model Counter
ganak
21
Stars
5
Forks
Watchers
The first scalable probabilistic exact counter
MLIC
16
Stars
4
Forks
Watchers
A new framework to generate interpretable classification rules
pepin
37
Stars
1
Forks
37
Watchers
A probabilistic approximate DNF counter
KCBox
21
Stars
5
Forks
Watchers
A toolbox for knowledge compilation