@inproceedings{conchon:hal-01960203, TITLE = {{Alt-Ergo 2.2}}, AUTHOR = {Conchon, Sylvain and Coquereau, Albin and Iguernlala, Mohamed and Mebsout, Alain}, URL = {https://inria.hal.science/hal-01960203}, BOOKTITLE = {{SMT Workshop: International Workshop on Satisfiability Modulo Theories}}, ADDRESS = {Oxford, United Kingdom}, YEAR = {2018}, MONTH = Jul, PDF = {https://inria.hal.science/hal-01960203/file/Alt-Ergo-2.2--SMT-Workshop-2018.pdf}, HAL_ID = {hal-01960203}, HAL_VERSION = {v1}, }