diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2012-04-04 02:02:06 +0000 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2012-04-04 02:02:06 +0000 |
| commit | 52d6dc20c61007a5c066590aa1fd0b95ed3c2527 (patch) | |
| tree | 040efec36cde7775b5c19eb43fcdd60cbeb61f9e /test/regress/regress0/wiki.18.cvc | |
| parent | 4fa8c7d1a0654e7780fd485c51463c06b34379b5 (diff) | |
* added propagation as lemmas to TheoryBV:
* modified BVMinisat to work incrementally
* added more bv regressions
Diffstat (limited to 'test/regress/regress0/wiki.18.cvc')
0 files changed, 0 insertions, 0 deletions