Mercurial > repo

log wisdom/sat solving technique @ 12274:3c04e9ef7a3a draft

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:50:25 +0000 HackBot <oerjan> slwd sat solving technique//s, is, are,
Thu, 27 Apr 2017 17:48:22 +0000 HackBot <oerjan> le/rn SAT solving technique//There are many SAT solving techniques, but none is completely satisfactory.
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