Annlean

Pinned Repositories

approxmc
Approximate Model Counter
Language:C++00
dsharp
Language:C++00
ganak
The first scalable probabilistic exact counter
Language:C++00
sharpSAT
The #SAT solver sharpSAT
Language:C++00
TSE-Exploratory-Study
Source data
Language:Python00
sharpSAT
The #SAT solver sharpSAT
Language:C++55 9 923
approxmc
Approximate Model Counter
Language:C++70 7 3626
ganak
The first scalable probabilistic exact counter
Language:C++25 5 226
dsharp
Language:C++16 3 145
spur
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
Language:C++7 3 41

Annlean's Repositories

Annlean/approxmc
Approximate Model Counter
Language:C++00
Annlean/dsharp
Language:C++00
Annlean/ganak
The first scalable probabilistic exact counter
Language:C++00
Annlean/sharpSAT
The #SAT solver sharpSAT
Language:C++00
Annlean/TSE-Exploratory-Study
Source data
Language:Python00