pub(crate) type CompatibilityCheck = fn((i32, i32, i32));Expand description
Type for functions that check the compatibility of the SMT solver version
This function takes the version of the SMT solver as a tuple of major, minor and patch version.
The function should take care of warning the user if the version is not
compatible with the current version of the library. Warnings should be
output using the warn or error macros from the log crate.