GitHub repository: pcarbonn/xmtlib
Primary language: Rust
Created: 2025-01-14T14:17:52Z
Description: A high-level language for interacting with SMT solvers