Closed aytey closed 3 years ago
I noticed that if you compile Boolector with CMS, then CMS is not listed in --copyright.
--copyright
This PR corrects that.
The years were taken from deps/cryptominisat/debian/cryptominisat5.copyright (there are no 2019s/2020s in the deps/cryptominisat folder).
deps/cryptominisat/debian/cryptominisat5.copyright
deps/cryptominisat
Signed-off-by: Andrew V. Jones andrew.jones@vector.com
What about the actual Boolector copyright lines? I had a PR for that before we closed it due to the "other solver".
I did CaDiCaL and the Boolector years
I noticed that if you compile Boolector with CMS, then CMS is not listed in
--copyright
.This PR corrects that.
The years were taken from
deps/cryptominisat/debian/cryptominisat5.copyright
(there are no 2019s/2020s in thedeps/cryptominisat
folder).Signed-off-by: Andrew V. Jones andrew.jones@vector.com