Franck Cassez, Anthony M. Sloane. ScalaSMT: satisfiability modulo theory in Scala (tool paper). In Heather Miller, Philipp Haller, Ondrej Lhoták, editors, Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017. pages 51-55, ACM, 2017. [doi]
Abstract is missing.