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.7M (23.7M (+60K))
Commits		10404 (10402 (+2))
Update Stats		0s ... 1m38s [Ø (last 10) 2s (2,2,2,2,2,2,2,2,2,2))]
Last Change		2024-08-26 21:46:45
Last Check		2025-11-03 14:06:45
Created		2022-07-24 12:59:51

Messages as of last check on 2025-11-03 14:06:45

Operation

Verifying url ...