Towards Learning Infinite SMT Models (Work in Progress)

Mikoláš Janota, Bartosz Piotrowski, Karel Chvalovský

This short paper proposes to learn models of satisfiability modulo theories (SMT) formulas during solving. Specifically, we focus on infinite models for problems in the logic of li…