diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2015-08-24 10:40:18 +0100 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2015-08-24 17:50:49 +0100 |
| commit | d455be07def0b09c3eadbe4e602950fddd4aec1c (patch) | |
| tree | 8bd2290f37a939e49a4958140c020622b517d3f0 /src/prop | |
| parent | d7dc7c2b3038b862af5ea55e7cf6b1fc4e1fe684 (diff) | |
eager bit-blasting gives models for boolean variables too (fixes bug618)
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions