diff options
| author | Jiajie Chen <c@jia.je> | 2022-07-15 16:47:19 +0800 |
|---|---|---|
| committer | Franz Pletz <fpletz@fnordicwalking.de> | 2022-08-18 05:21:32 +0200 |
| commit | da87f771027c5fe2db7d93d4e56197849236dc5a (patch) | |
| tree | 235f50bf9a41068c24ba51be3b0476102885fe8f /COPYING | |
| parent | a6d96a709a1d0c64e361ae6a824ec4f62c426ad5 (diff) | |
cbmc: init at 5.63.0
Cadical is used as sat solver backend. https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions