argo-lib: A Generic Platform for Decision Procedures.

Filip Maric, Predrag Janicic

Browse the full CADE paper archive.