Mercurial > repo
changeset 10842:7cb7b31f2896
<oerjan> slwd sat solving technique//s, is, are,
author | HackBot |
---|---|
date | Thu, 27 Apr 2017 17:50:25 +0000 |
parents | c62a74918324 |
children | 2d5ba2d44680 |
files | wisdom/sat solving technique |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/wisdom/sat solving technique Thu Apr 27 17:48:22 2017 +0000 +++ b/wisdom/sat solving technique Thu Apr 27 17:50:25 2017 +0000 @@ -1,1 +1,1 @@ -There are many SAT solving techniques, but none is completely satisfactory. +There are many SAT solving techniques, but none are completely satisfactory.