diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 17:50:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 17:50:41 -0800 |
| commit | df3e23ae3a20d0f6b8a1d3512e322b98057eb136 (patch) | |
| tree | 5ee7c1c6a2618fad81211dd4312dfa9b9a923bb2 /src/sat/fraig | |
| parent | fa96b8d7988da75e38d45b719d21a64e5ecbdb9c (diff) | |
| download | abc-df3e23ae3a20d0f6b8a1d3512e322b98057eb136.tar.gz abc-df3e23ae3a20d0f6b8a1d3512e322b98057eb136.tar.bz2 abc-df3e23ae3a20d0f6b8a1d3512e322b98057eb136.zip | |
Enabled skipping random decisions in PBA, which are performed by default.
Diffstat (limited to 'src/sat/fraig')
0 files changed, 0 insertions, 0 deletions