diff options
author | Tim King <taking@cs.nyu.edu> | 2011-04-05 15:58:59 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-04-05 15:58:59 +0000 |
commit | 7ab9caadb0d56e7788c879b82944ad4a2485135a (patch) | |
tree | de5bbfa870e96bfa08d366bbee3fc59867617c44 /src/util/congruence_closure.h | |
parent | bc3269ad3680436ede31a70803ff5879c9e4bf6e (diff) |
Added options for setting the random decision frequency and random seed for the sat solver. Also added command line options for setting both.
Diffstat (limited to 'src/util/congruence_closure.h')
0 files changed, 0 insertions, 0 deletions