Store 2292


A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.@gh - Boolector


GitHub		https://github.com/Boolector/boolector
Size		23.1M (23.1M (+32K))
Commits		10395 (10394 (+1))
Update Stats		0s ... 1m38s [Ø (last 10) 1s (2,1,2,2,1,1,2,1,1,1))]
Last Change		2023-09-13 20:26:54
Last Check		2023-09-16 12:26:34
Created		2022-07-24 12:59:51

Messages as of last check on 2023-09-16 12:26:34

Operation

Verifying url ...