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