summaryrefslogtreecommitdiff
path: root/logs/lean.log
AgeCommit message (Expand)Author
19 hoursRecord the matching battery: fifteen solvers, one amplifierYurenHao0426