search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
324 stars 63 forks source link

Update README.md #188

Closed gsingla21 closed 2 years ago

gsingla21 commented 2 years ago

Signed-off-by: gsingla21 gsingla1_be18@thapar.edu