cprover
Solvers infrastructure
Author

Flattening

To be documented.

SMT solving API

To be documented.

SAT solving API

To be documented.