diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2012-09-06 20:33:21 +0100 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-09-06 20:33:21 +0100 |
commit | 85a65323bda16d372a9e163dc4225e5d5535d14c (patch) | |
tree | 6e4999e040de5a5c7511521939c576957509b538 /Test/dafny0/runtest.bat | |
parent | f369261b5b9953380d8fb8e0f7b020167482a491 (diff) |
Implement support for alternative SMT solvers -- CVC3 and CVC4
Diffstat (limited to 'Test/dafny0/runtest.bat')
0 files changed, 0 insertions, 0 deletions