SmtLib (hackage): Parser for smt-lib Command responses
Keywords: formal-methods|library|mit