yaspar - parse string to milliseconds and boolean
Yet Another SMT Parser, a SMTLib 2.7 compliant parsing library
This crate provides a few representations of SMT scripts and other functionalities.