]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f51ec5d) | patch
Switch to multiplication variant 1.
authorFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 03:09:32 +0000 (04:09 +0100)
committerFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 03:09:32 +0000 (04:09 +0100)
commitd7a3d82429cedc668f500ed2e7e8145a894f88fc
treee6ef79fe4da3c1174047581e9376eff48a8361b2tree | snapshot
parentf51ec5d42b762ba77ec052664439ca57c4238949commit | diff
Switch to multiplication variant 1.

CryptoMiniSat seems to work much better with multiplication variant one
(at least on my problems) so use it by default.
src/to-sat/BitBlaster.cpp diff | blob | history
STP Constraint Solver.