rate-common (cargo): Internal modules for rate
Keywords: proof-checker|rust|sat-solver|verification