cprover
/builddir/build/BUILD/cbmc-cbmc-5.10/doc/architectural/solvers-infrastructure.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \page solvers-infrastructure Solvers infrastructure
3 
4 \author
5 
6 ## Flattening ##
7 
8 To be documented.
9 
10 ## SMT solving API ##
11 
12 To be documented.
13 
14 ## SAT solving API ##
15 
16 To be documented.