--- a/src/Doc/manual.bib Thu Aug 11 13:23:00 2022 +0200
+++ b/src/Doc/manual.bib Fri Aug 12 15:35:07 2022 +0200
@@ -181,6 +181,36 @@
editor = {A. Robinson and A. Voronkov}
}
+@inproceedings{barbosa-et-al-cvc5,
+ author = {Haniel Barbosa and
+ Clark W. Barrett and
+ Martin Brain and
+ Gereon Kremer and
+ Hanna Lachnitt and
+ Makai Mann and
+ Abdalrhman Mohamed and
+ Mudathir Mohamed and
+ Aina Niemetz and
+ Andres N{\"{o}}tzli and
+ Alex Ozdemir and
+ Mathias Preiner and
+ Andrew Reynolds and
+ Ying Sheng and
+ Cesare Tinelli and
+ Yoni Zohar},
+ editor = {Dana Fisman and
+ Grigore Rosu},
+ title = {{cvc5}: A Versatile and Industrial-Strength {SMT} Solver},
+ booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2022 (I)",
+ series = {Lecture Notes in Computer Science},
+ volume = {13243},
+ pages = {415--442},
+ publisher = {Springer},
+ year = {2022},
+ XXXurl = {https://doi.org/10.1007/978-3-030-99524-9\_24},
+ XXXdoi = {10.1007/978-3-030-99524-9\_24},
+}
+
@inproceedings{cvc3,
author = {Clark Barrett and Cesare Tinelli},
title = {{CVC3}},