ENTRA poster, for SAT/SMT Summer School and department presentation at Roskilde University

ENTRA poster, for SAT/SMT Summer School and department presentation at Roskilde University, April 2013