summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/cryptominisat: enable python supportMaciej Barć5 min.