projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4721e72) | patch
changed BVMinisat options to use cc_min=0 in propagate only calls and cc_min=2 in...
authorLiana Hadarean <lianahady@gmail.com>
Wed, 4 Apr 2012 14:23:48 +0000 (14:23 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Wed, 4 Apr 2012 14:23:48 +0000 (14:23 +0000)
commitbc87b6c6b30dbc2ec0336b2fda0a71c77e662267
treec88fd183dc597e0044522835644462e9e3123ba0tree
parent4721e72430a69a0082f0f3313d8fc452f83579dccommit | diff
changed BVMinisat options to use cc_min=0 in propagate only calls and cc_min=2 in solve
src/prop/bvminisat/core/Solver.cc diff | blob | history