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
332 stars 62 forks source link

Correcting copyright years for Boolector and CaDiCaL #55

Closed aytey closed 4 years ago

aytey commented 5 years ago

I noticed that the copyright printed when you call boolector_copyright is out-of-date.

I corrected this for Boolector (Aina's has a 2019 date at the top of the file) and for CaDiCaL (given the most recent release).

aniemetz commented 4 years ago

@andrewvaughanj nevermind, you already did.