Mercurial > repo

log wisdom/sat solving technique @ 10840:d2d86dd36401

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 27 Apr 2017 17:43:22 +0000 HackBot <oerjan> ` mv wisdom/\'sat solving technique\'{s,} base wisdom/sat solving techniques@5ce3b54e9090
less more | (0) tip