fkutzner's Repositories

fkutzner / candy-kingdom

86%
Build #80:   generalized RSIL interface on branch pr_cleanup2 almost 9 years ago
pr_cleanup2: 84%
LAST BUILD BRANCH: pr_cleanup2
DEFAULT BRANCH: nomaster

fkutzner / JamSAT

96%
Build #271:   reworked the ClauseDistribution interface on branch current over 6 years ago
current: 96%
LAST BUILD BRANCH: current
DEFAULT BRANCH: master