Scala to the Power of Z3: Integrating SMT and Programming

DOI10.1007/978-3-642-22438-6_30zbMath1341.68192OpenAlexW1549774509MaRDI QIDQ5200039

Ali Sinan Köksal, Philippe Suter, Viktor Kuncak

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_30

Mathematics Subject Classification ID

Uses Software

• z3
• Scala

Cites Work

• Sets with Cardinality Constraints in Satisfiability Modulo Theories

This page was built for publication: Scala to the Power of Z3: Integrating SMT and Programming