diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:37:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:37:46 -0700 |
commit | af4c76e21a28beac14886e68a5f7ce29e5e7303b (patch) | |
tree | 0aad9addb18e114d1b90ccdc378371a5bb1d9f10 /src/sat/xsat/xsatSolverAPI.c | |
parent | ba0d855fd4eed9439e4ce4fa6eb778cbb2250708 (diff) | |
download | abc-af4c76e21a28beac14886e68a5f7ce29e5e7303b.tar.gz abc-af4c76e21a28beac14886e68a5f7ce29e5e7303b.tar.bz2 abc-af4c76e21a28beac14886e68a5f7ce29e5e7303b.zip |
Disabling CNF simplification in &bmcs -g.
Diffstat (limited to 'src/sat/xsat/xsatSolverAPI.c')
0 files changed, 0 insertions, 0 deletions