diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 17:53:19 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 17:53:19 +0700 |
| commit | a64957a526ed1ff4df552db5e1d7bc5fd687900a (patch) | |
| tree | 5765d34e2748d5a3cc19d0778042f4ad4099d5e6 /src/sat/bmc/bmcBmcS.c | |
| parent | 21289bf08a668e1fc329bdaeca3e462910135286 (diff) | |
| download | abc-a64957a526ed1ff4df552db5e1d7bc5fd687900a.tar.gz abc-a64957a526ed1ff4df552db5e1d7bc5fd687900a.tar.bz2 abc-a64957a526ed1ff4df552db5e1d7bc5fd687900a.zip | |
Adding an option to bmc3 to use Satoko intead of the default SAT solver.
Diffstat (limited to 'src/sat/bmc/bmcBmcS.c')
0 files changed, 0 insertions, 0 deletions