Meel Group
Results
5
repositories owned by
Meel Group
bosphorus
64
Stars
18
Forks
Watchers
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
approxmc
70
Stars
24
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