issues
search
meelgroup
/
ganak
The first scalable probabilistic exact counter
MIT License
21
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
A potential bug with CNF Examples while using Ganak
#28
Annlean
closed
3 months ago
4
Model Count for full counting benchmarks
#27
mardalla
opened
5 months ago
2
Reconstruct Ganak Failed
#26
Annlean
closed
1 year ago
9
linker: add all required libs when linking
#25
benlorenz
closed
1 year ago
2
readme: fix cmake flag for PCC
#24
benlorenz
closed
1 year ago
1
make LogTable always signed char
#23
benlorenz
closed
1 year ago
1
WMC ganak fails on the given examples
#22
AlexandreDubray
closed
5 months ago
3
Incorrect count on a specific set of benchmarks
#21
AL-JiongYang
closed
2 years ago
9
Trying to fix bug that affects projected counts
#20
msoos
closed
2 years ago
1
Potentil fix for bug of projected counting
#19
msoos
closed
2 years ago
0
Wmc warn fix
#18
msoos
closed
1 year ago
0
This line keeps being printed non-stop
#17
msoos
closed
2 years ago
0
Incorrect weighted model count because of learn-and-start-over?
#16
latower
closed
5 months ago
5
Disable probabilistic solving in Ganak
#15
vroland
closed
2 years ago
1
Sampling set with Sym Ganak
#14
Exeloz
closed
3 years ago
4
When timeout set: > 100000 sec, ganak stopped at 100000 sec
#13
Heawen
closed
3 years ago
3
ERROR: We need to change the hash range (-1)
#12
Heawen
closed
3 years ago
5
Build fails on Linux
#11
Heawen
closed
3 years ago
3
Compilation problems on mac
#10
algebravic
closed
1 year ago
5
Dependence on Header.
#9
priyanka-golia
closed
3 years ago
2
Incorrect model count in Ganak and SharpSAT
#8
Laakeri
closed
3 years ago
2
Fixing build -- changing type to fix issue #6
#7
msoos
closed
1 year ago
0
Master branch fails to build
#6
adrianherrera
closed
3 years ago
3
Segmentation fault when running Ganak
#5
jar-ben
closed
4 years ago
2
Please remove dependence on MIS and instead use B+E
#4
kuldeepmeel
closed
4 years ago
4
Output strange information and wrong count for the following instance
#3
ydotlai
closed
4 years ago
2
Build fails
#2
seonmokim
closed
4 years ago
1
Bug Report
#1
muhammadusman93
closed
4 years ago
1