• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code
• CMakeLists.txt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.13.0.src.math.lp.CMakeLists.txt Maven / Gradle / Ivy

z3_add_component(lp
  SOURCES
    core_solver_pretty_printer.cpp
    dense_matrix.cpp
    emonics.cpp
    factorization.cpp
    factorization_factory_imp.cpp
    gomory.cpp
    hnf_cutter.cpp
    horner.cpp
    indexed_vector.cpp
    int_branch.cpp
    int_cube.cpp
    int_gcd_test.cpp
    int_solver.cpp
    lar_solver.cpp
    lar_core_solver.cpp
    lp_core_solver_base.cpp
    lp_primal_core_solver.cpp
    lp_settings.cpp
    matrix.cpp
    mon_eq.cpp
    monomial_bounds.cpp
    nex_creator.cpp
    nla_basics_lemmas.cpp
    nla_common.cpp
    nla_core.cpp
    nla_divisions.cpp
    nla_grobner.cpp
    nla_intervals.cpp
    nla_monotone_lemmas.cpp
    nla_order_lemmas.cpp
    nla_powers.cpp
    nla_solver.cpp
    nla_tangent_lemmas.cpp
    nra_solver.cpp    
    permutation_matrix.cpp
    random_updater.cpp      
    static_matrix.cpp
  COMPONENT_DEPENDENCIES
    util
    polynomial
    nlsat
    smt_params
)

include_directories(${src_SOURCE_DIR})