@INPROCEEDINGS{MPB-GM:SMT2019:Eos, AUTHOR = "Maria Paola Bonacina and Giulio Mazzi", TITLE = "The {\em {E}os} {SMT}/{SMA}-solver: a preliminary report", BOOKTITLE = "Proceedings of the 17th International Workshop on Satisfiability Modulo Theories (SMT)", EDITOR = "Natasha Sharygina and Joe Hendrix", PAGES = "1--10", MONTH = "July", NOTE = "Available at \url{http://smt2019.galois.com/proceedings.html}" YEAR = 2019}