boolector (math/boolector) Updated: 2 months, 2 weeks ago Add to my watchlist
an SMT solver for the theory of bit-vectorsBoolector is an SMT solver for the theory of bit-vectors and the extensional theory of arrays over bit-vectors. It won first places in the prestigious bit-vector and bit-vector with arrays tracks in the SMT competition 2008. In the latest SMT competition, it won the second place in the bit-vector division and again the first place in the division of bit-vectors and arrays.
Version: 3.2.4 License: MIT
GitHub
108 build(s) found
Page 2 of 2 | Showing build(s) 101 to 108
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.14 | 51902 | 2020-01-27 3:55:47 | 0:00:28 | 13021 | failed install-port |
| 10.11 | 107104 | 2020-01-27 3:45:33 | 0:00:26 | 31338 | failed install-port |
| 10.12 | 112222 | 2020-01-27 3:38:42 | 0:00:26 | 30318 | failed install-port |
| 10.8 | 14159 | 2020-01-27 3:32:33 | 0:00:24 | 3731 | failed install-port |
| 10.10 | 108632 | 2020-01-27 3:27:10 | 0:00:21 | 31386 | failed install-port |
| 10.7 | 15652 | 2020-01-27 3:21:53 | 0:00:21 | 3734 | failed install-port |
| 10.9 | 111244 | 2020-01-27 3:19:39 | 0:00:20 | 31329 | failed install-port |
| 10.15 | 19068 | 2020-01-04 15:45:20 | 0:00:39 | 1830 | failed install-port |