Mercurial > repo

annotate wisdom/sat solving technique @ 10841:c62a74918324

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> le/rn SAT solving technique//There are many SAT solving techniques, but none is completely satisfactory.
author HackBot
date Thu, 27 Apr 2017 17:48:22 +0000
parents d2d86dd36401
children 7cb7b31f2896
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10841
c62a74918324 <oerjan> le/rn SAT solving technique//There are many SAT solving techniques, but none is completely satisfactory.
HackBot
parents: 10840
diff changeset
1 There are many SAT solving techniques, but none is completely satisfactory.