diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-16 16:18:52 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-16 16:18:52 +0000 |
| commit | 9154e647013e4575f60807d5b73582bccfd052e2 (patch) | |
| tree | d32c32473a9eea80798c2e4ae60b9420a05e5c57 /examples/SimpleVCCompat.java | |
| parent | 6d4822f197ccd235175669f199e922aa12eda4b1 (diff) | |
equality status for bitvectors can now look into the sat solver to check for IN_MODEL status
Diffstat (limited to 'examples/SimpleVCCompat.java')
0 files changed, 0 insertions, 0 deletions