Annlean

Pinned Repositories

approxmc
Approximate Model Counter
Language:C++0 0 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
loandra
The anytime MaxSAT solver Loandra
Language:C++16 1 73
sharpSAT
The #SAT solver sharpSAT
Language:C++56 9 924
approxmc
Approximate Model Counter
Language:C++70 7 3625
ganak
The first scalable probabilistic exact counter
Language:C++26 5 227
dsharp
Language:C++16 3 145

Annlean's Repositories

Annlean/approxmc
Approximate Model Counter
Language:C++0 0 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