Toggle navigation
Mirror (Self)
↗️Home
Issues
Disabled
Statistics
Projects
Contact
Spec
Search
Submit
Private
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.@gh - Boolector
VCS
#Forks
Repository
GitHub
51
https://github.com/Boolector/boolector
Contact information
Mail to
Andreas Kupries