CVC4 tutorial to run at CADE-24

Our tutorial entitled “Becoming a power user of SMT: The CVC4 solver, how it works, and how best to use it” was just accepted to run at CADE-24 in June 2013 in Lake Placid, NY. ¬†We are excited to have…

Fork me on GitHub