Adding support for a term function in CaDiCaL

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

332 stars 62 forks source link

Closed aytey closed 4 years ago

aytey commented 5 years ago

Signed-off-by: Andrew V. Jones andrew.jones@vector.com

mpreiner commented 5 years ago

Travis should be fixed when you rebase to current master.

aytey commented 5 years ago

Rebase done and base branch changed in PR

aytey commented 5 years ago

DCO is failing because of a typo in my Signed-off-by for my CaDiCaL patches (not sure how it passed DCO before).