herrmann/jasdd
Java package for Algebraic Sentential Decision Diagrams
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Java package for Algebraic Sentential Decision Diagrams
Haskell implementation of the Upper Confidence bounds applied to Trees (UCT) algorithm
Ants starter bot in Haskell
Unofficial Haskell starter package for the Planet Wars AI contest