2 \defgroup module_solvers SAT/SMT Encoding and Decision Procedure
6 \section sat-smt-encoding SAT/SMT Encoding
8 In the \ref solvers directory.
19 1 [shape=none, label=""];
20 2 [label="goto conversion"];
21 3 [shape=none, label=""];
22 1 -> 2 [label="equations"];
23 2 -> 3 [label="propositional variables as bitvectors, constraints"];
30 \section decision-procedure Decision Procedure
32 In the \ref solvers directory.
35 * symex_target_equationt
43 1 [shape=none, label=""];
44 2 [label="goto conversion"];
45 3 [shape=none, label=""];
46 1 -> 2 [label="propositional variables as bitvectors, constraints"];
47 2 -> 3 [label="solutions"];