z3-src 501.0.1

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

/*++
Copyright (c) 2006 Microsoft Corporation

Module Name:

    theory_dense_diff_logic.cpp

Abstract:

    <abstract>

Author:

    Leonardo de Moura (leonardo) 2008-05-16.

Revision History:

--*/
#include "smt/theory_dense_diff_logic_def.h"

namespace smt {
    template class theory_dense_diff_logic<mi_ext>;
    template class theory_dense_diff_logic<i_ext>;
    template class theory_dense_diff_logic<smi_ext>;
    template class theory_dense_diff_logic<si_ext>;
}