smt2parser (cargo): Generic parser library for the SMT-LIB-2 format
Keywords: solver|smt|smt-lib