projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc3269a) | patch
Added options for setting the random decision frequency and random seed for the sat...
authorTim King <taking@cs.nyu.edu>
Tue, 5 Apr 2011 15:58:59 +0000 (15:58 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 5 Apr 2011 15:58:59 +0000 (15:58 +0000)
commit7ab9caadb0d56e7788c879b82944ad4a2485135a
treede5bbfa870e96bfa08d366bbee3fc59867617c44tree
parentbc3269ad3680436ede31a70803ff5879c9e4bf6ecommit | diff
Added options for setting the random decision frequency and random seed for the sat solver.  Also added command line options for setting both.
src/prop/sat.h diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history