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