Move solvers API description to solvers module

Author: John Nonweiler

doc/architectural/code-walkthrough.md

@@ -62,19 +62,6 @@ See \ref symex-overview.
 
 See \ref solvers-overview.
 
-\subsection flattening-section Flattening
-
-To be documented.
-
-\subsection smt-solving-api-section SMT solving API
-
-To be documented.
-
-\subsection sat-solving-api-section SAT solving API
-
-To be documented.
-
-
 \section  static-analysis-apis-section Static analysis APIs
 
 See \ref analyses and \ref pointer-analysis.

src/solvers/README.md

@@ -60,6 +60,20 @@ different decision procedures, roughly one per directory.
 
 * sat/:   Back-ends for a variety of SAT solvers and DIMACS output.
 
+\section solver-apis Solver APIs
+
+\subsection flattening-section Flattening
+
+To be documented.
+
+\subsection smt-solving-api-section SMT solving API
+
+To be documented.
+
+\subsection sat-solving-api-section SAT solving API
+
+To be documented.
+
 \section sat-smt-encoding SAT/SMT Encoding
 
 In the \ref solvers directory.
@@ -81,7 +95,6 @@ digraph G {
 }
 \enddot
 
-
 ---
 
 \section decision-procedure Decision Procedure