]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cac70c0) | patch
commented out the mtrand initial seeding with time() function in sat/cryptominisat2...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 22 Mar 2010 22:30:28 +0000 (22:30 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 22 Mar 2010 22:30:28 +0000 (22:30 +0000)
commitfac8a5623253118633e1bbee72aee3eecf30c6dc
tree4479e78a43597e4786ef6c6cc4e9a9c76cb409c8tree | snapshot
parentcac70c065350e2cdab34795bd760ffb347754512commit | diff
commented out the mtrand initial seeding with time() function in sat/cryptominisat2/Solver.cpp. We introduced this to  strongly randomize the assignments generated by STP

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@651 e59a4935-1847-0410-ae03-e826735625c1
src/sat/cryptominisat2/Solver.cpp diff | blob | history
STP Constraint Solver.