Loreon
Labs
Platform
Docs
Home
Ecosystems
C++
ganak
High-performance exact counter
C++
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
6
Last push
4mo ago
Recent commits
Latest commits.
sparse contraction print
d1647be
Arijit Shaw
4mo ago
sparse graph contraction for TD in projected counting
5c72fef
Arijit Shaw
9mo ago
Merge pull request #54 from meelgroup/visualize-td
49a80c9
Mate Soos
10mo ago
Slightly bettter printing
777fab8
Mate Soos
10mo ago
Visualize TD into a DOT file
f91ac4b
Mate Soos
10mo ago
Merge pull request #53 from meelgroup/more-td-fix-change-score
bf1e02f
Mate Soos
10mo ago
Better TD, less noise, better printing, more TD checking
5b7dd54
Mate Soos
10mo ago
Merge pull request #50 from meelgroup/fix-last-used-time
2c0ccc2
Mate Soos
10mo ago
Top contributors
Builders behind this project.
msoos
2.2K commits
smsharma1
36 commits
itepastra
15 commits
kuldeepmeel
6 commits
arijitsh
4 commits
benlorenz
4 commits
