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
325 stars 63 forks source link

Update setup-lingeling.sh COMMIT_ID. #170

Closed edcote closed 3 years ago

edcote commented 3 years ago

Update COMMIT_ID to fix issue described at https://github.com/Boolector/boolector/issues/169.

mpreiner commented 3 years ago

Thanks @edcote! Can you please sign your commit according to the contribution guidelines (https://github.com/Boolector/boolector#contributing)?

mpreiner commented 3 years ago

Fixed with 4a46a955b7e047cd2fab0b3d76e4b7dd2c00154f