GitHub repository: smithril/smithril
Primary language: Rust
Description: An SMT-solvers container that runs them in parallel and resource-limiting ways and incorporates them easily.