******************************************************************************** conan install z3/4.11.2@#82c9bfbf973f0156f6d576f0900e1e0a --build=z3 -pr C:/J2/w/prod-v1/bsr@2/80464/faceb/profile_windows_16_md_vs_release_64.z3-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True ******************************************************************************** Auto detecting your dev setup to initialize the default profile (C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\profiles\default) Found Visual Studio 17 Default settings os=Windows os_build=Windows arch=x86_64 arch_build=x86_64 compiler=Visual Studio compiler.version=17 build_type=Release *** You can change them in C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\profiles\default *** *** Or override with -s compiler='other' -s ...s*** Configuration: [settings] arch=x86_64 build_type=Release compiler=Visual Studio compiler.runtime=MD compiler.version=16 os=Windows [options] z3:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True z3/4.11.2: Forced build from source cmake/3.28.1: Not found in local cache, looking in remotes... cmake/3.28.1: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz cmake/3.28.1: Downloaded recipe revision 92f79424d7b65b12a84a2180866c3a78 Version ranges solved cmake/* versions found in 'conan-center' remote Version range '>=3.16 <4' required by 'z3/4.11.2' resolved to 'cmake/3.28.1' in remote 'conan-center' Installing package: z3/4.11.2 Requirements z3/4.11.2 from local cache - Cache Packages z3/4.11.2:1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a - Build Build requirements cmake/3.28.1 from 'conan-center' - Downloaded Build requirements packages cmake/3.28.1:ca33edce272a279b24f87dc0d4cf5bbdcffbc187 - Download Installing (downloading, building) binaries... cmake/3.28.1: Retrieving package ca33edce272a279b24f87dc0d4cf5bbdcffbc187 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz cmake/3.28.1: Package installed ca33edce272a279b24f87dc0d4cf5bbdcffbc187 cmake/3.28.1: Downloaded package revision 61438d96e6ca0ed8a23486a2c341bb7b cmake/3.28.1: Appending PATH environment variable: C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\cmake\3.28.1\_\_\package\ca33edce272a279b24f87dc0d4cf5bbdcffbc187\bin z3/4.11.2: Applying build-requirement: cmake/3.28.1 [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK z3/4.11.2: Configuring sources in C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\source\src z3/4.11.2: [HOOK - conan-center.py] post_source(): [LIBCXX MANAGEMENT (KB-H011)] OK [HOOK - conan-center.py] post_source(): [CPPSTD MANAGEMENT (KB-H022)] OK [HOOK - conan-center.py] post_source(): [SHORT_PATHS USAGE (KB-H066)] OK z3/4.11.2: Copying sources to build folder z3/4.11.2: Building your package in C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a z3/4.11.2: Generator txt created conanbuildinfo.txt z3/4.11.2: Calling generate() z3/4.11.2: Preset 'default' added to CMakePresets.json. Invoke it manually using 'cmake --preset default' z3/4.11.2: If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE=C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\generators\conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW' z3/4.11.2: Aggregating env generators [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] 'fPIC' option not found [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.11.2: Calling build() z3/4.11.2: CMake command: cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src" ----Running------ > "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\generators\conanbuild.bat" && cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src" ----------------- -- Using Conan toolchain: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/generators/conan_toolchain.cmake -- Conan toolchain: Setting BUILD_SHARED_LIBS = OFF -- The CXX compiler identification is MSVC 19.29.30148.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.29.30133/bin/Hostx64/x64/cl.exe - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Z3 version 4.11.2.0 -- Failed to find git directory. -- CMake generator: Visual Studio 16 2019 -- Available configurations: Debug;Release;MinSizeRel;RelWithDebInfo -- Found PythonInterp: C:/conan_jenkins_envs/env_py_3_7_conan_1_61_0/Scripts/python.exe (found suitable version "3.7.9", minimum required is "3") -- PYTHON_EXECUTABLE: C:/conan_jenkins_envs/env_py_3_7_conan_1_61_0/Scripts/python.exe -- Detected target architecture: x86_64 -- Platform: Windows -- Not using libgmp -- Not using Z3_API_LOG_SYNC -- Thread-safe build -- Performing Test HAS_SSE2 -- Performing Test HAS_SSE2 - Failed -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - not found -- Found Threads: TRUE -- Performing Test HAS__W3 -- Performing Test HAS__W3 - Success -- C++ compiler supports /W3 -- Treating only serious compiler warnings as errors -- LTO disabled -- Performing Test HAS_MSVC_NO_OMIT_FRAME_POINTER -- Performing Test HAS_MSVC_NO_OMIT_FRAME_POINTER - Success -- Performing Test HAS__Gd -- Performing Test HAS__Gd - Success -- C++ compiler supports /Gd -- Performing Test HAS__EHsc -- Performing Test HAS__EHsc - Success -- C++ compiler supports /EHsc -- Performing Test BUILTIN_ATOMIC -- Performing Test BUILTIN_ATOMIC - Success -- CMAKE_CXX_FLAGS: "/MP8 /DWIN32 /D_WINDOWS /GR /EHsc" -- CMAKE_EXE_LINKER_FLAGS: "/machine:x64 /STACK:8388608 /RELEASE" -- CMAKE_STATIC_LINKER_FLAGS: "/machine:x64" -- CMAKE_SHARED_LINKER_FLAGS: "/machine:x64 /SUBSYSTEM:WINDOWS /RELEASE" -- CMAKE_CXX_FLAGS_DEBUG: "/Zi /Ob0 /Od /RTC1" -- CMAKE_EXE_LINKER_FLAGS_DEBUG: "/debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /NXCOMPAT" -- CMAKE_SHARED_LINKER_FLAGS_DEBUG: "/debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1" -- CMAKE_STATIC_LINKER_FLAGS_DEBUG: " /INCREMENTAL:NO" -- CMAKE_CXX_FLAGS_RELEASE: "/O2 /Ob2 /DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_RELEASE: "/INCREMENTAL:NO" -- CMAKE_SHARED_LINKER_FLAGS_RELEASE: "/INCREMENTAL:NO" -- CMAKE_STATIC_LINKER_FLAGS_RELEASE: " /INCREMENTAL:NO" -- CMAKE_CXX_FLAGS_RELWITHDEBINFO: "/Zi /O2 /Ob1 /DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO: "/debug /INCREMENTAL:NO " -- CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO: "/debug /INCREMENTAL:NO " -- CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO: " /INCREMENTAL:NO" -- CMAKE_CXX_FLAGS_MINSIZEREL: "/O1 /Ob1 /DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_MINSIZEREL: "/INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /NXCOMPAT" -- CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL: "/INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1" -- CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL: " /INCREMENTAL:NO" -- Z3_COMPONENT_CXX_DEFINES: $<$:Z3DEBUG>;$<$:_EXTERNAL_RELEASE>;$<$:_EXTERNAL_RELEASE>;-D_WINDOWS;-D_MP_INTERNAL;$<$:_TRACE>;UNICODE;_UNICODE -- Z3_COMPONENT_CXX_FLAGS: /W3;$<$:/Oy->;$<$:/Oy->;/Gd;/EHsc -- Z3_DEPENDENT_LIBS: Threads::Threads -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src;C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src -- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_BINDIR: "bin" -- CMAKE_INSTALL_INCLUDEDIR: "include" -- CMAKE_INSTALL_PKGCONFIGDIR: "lib/pkgconfig" -- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib/cmake/z3" -- Adding component util -- Adding component polynomial -- Adding rule to generate "algebraic_params.hpp" -- Adding component dd -- Adding component hilbert -- Adding component simplex -- Adding component automata -- Adding component interval -- Adding component realclosure -- Adding rule to generate "rcf_params.hpp" -- Adding component subpaving -- Adding component ast -- Adding rule to generate "pp_params.hpp" -- Adding component params -- Adding rule to generate "arith_rewriter_params.hpp" -- Adding rule to generate "array_rewriter_params.hpp" -- Adding rule to generate "bool_rewriter_params.hpp" -- Adding rule to generate "bv_rewriter_params.hpp" -- Adding rule to generate "fpa_rewriter_params.hpp" -- Adding rule to generate "fpa2bv_rewriter_params.hpp" -- Adding rule to generate "pattern_inference_params_helper.hpp" -- Adding rule to generate "poly_rewriter_params.hpp" -- Adding rule to generate "rewriter_params.hpp" -- Adding rule to generate "seq_rewriter_params.hpp" -- Adding rule to generate "solver_params.hpp" -- Adding component rewriter -- Adding component normal_forms -- Adding rule to generate "nnf_params.hpp" -- Adding component macros -- Adding component model -- Adding rule to generate "model_evaluator_params.hpp" -- Adding rule to generate "model_params.hpp" -- Adding component tactic -- Adding rule to generate "tactic_params.hpp" -- Adding component substitution -- Adding component euf -- Adding component smt_params -- Adding rule to generate "smt_params_helper.hpp" -- Adding component parser_util -- Adding rule to generate "parser_params.hpp" -- Adding component grobner -- Adding component sat -- Adding rule to generate "sat_asymm_branch_params.hpp" -- Adding rule to generate "sat_params.hpp" -- Adding rule to generate "sat_scc_params.hpp" -- Adding rule to generate "sat_simplifier_params.hpp" -- Adding component nlsat -- Adding rule to generate "nlsat_params.hpp" -- Adding component core_tactics -- Adding component subpaving_tactic -- Adding component aig_tactic -- Adding component arith_tactics -- Adding component solver -- Adding rule to generate "combined_solver_params.hpp" -- Adding rule to generate "parallel_params.hpp" -- Adding component cmd_context -- Adding component extra_cmds -- Adding component smt2parser -- Adding component mbp -- Adding component qe_lite -- Adding component solver_assertions -- Adding component pattern -- Adding component bit_blaster -- Adding component lp -- Adding component sat_smt -- Adding component sat_tactic -- Adding component nlsat_tactic -- Adding component ackermannization -- Adding rule to generate "ackermannization_params.hpp" -- Adding rule to generate "ackermannize_bv_tactic_params.hpp" -- Adding component proofs -- Adding component fpa -- Adding component proto_model -- Adding component smt -- Adding component bv_tactics -- Adding component smt_tactic -- Adding component sls_tactic -- Adding rule to generate "sls_params.hpp" -- Adding component qe -- Adding component muz -- Adding rule to generate "fp_params.hpp" -- Adding component dataflow -- Adding component transforms -- Adding component rel -- Adding component clp -- Adding component tab -- Adding component bmc -- Adding component ddnf -- Adding component spacer -- Adding component fp -- Adding component ufbv_tactic -- Adding component sat_solver -- Adding component smtlogic_tactics -- Adding rule to generate "qfufbv_tactic_params.hpp" -- Adding component fpa_tactics -- Adding component fd_solver -- Adding component portfolio -- Adding component opt -- Adding rule to generate "opt_params.hpp" -- Adding component api -- Adding component api_dll -- Adding component fuzzing -- Building documentation disabled -- Configuring done (39.4s) -- Generating done (2.6s) -- Build files have been written to: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build z3/4.11.2: CMake command: cmake --build "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build" --config Release ----Running------ > "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\generators\conanbuild.bat" && cmake --build "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build" --config Release ----------------- Microsoft (R) Build Engine version 16.11.2+f32259642 for .NET Framework Copyright (C) Microsoft Corporation. All rights reserved. 1>Checking Build System Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/util/CMakeLists.txt approx_nat.cpp approx_set.cpp bit_util.cpp bit_vector.cpp cmd_context_types.cpp common_msgs.cpp debug.cpp env_params.cpp fixed_bit_vector.cpp gparams.cpp hash.cpp hwf.cpp inf_int_rational.cpp inf_rational.cpp inf_s_integer.cpp lbool.cpp luby.cpp memory_manager.cpp min_cut.cpp mpbq.cpp mpf.cpp mpff.cpp mpfx.cpp mpn.cpp mpq.cpp mpq_inf.cpp mpz.cpp page.cpp params.cpp permutation.cpp prime_generator.cpp rational.cpp region.cpp rlimit.cpp scoped_ctrl_c.cpp scoped_timer.cpp sexpr.cpp s_integer.cpp small_object_allocator.cpp smt2_util.cpp stack.cpp state_graph.cpp statistics.cpp symbol.cpp tbv.cpp timeit.cpp timeout.cpp trace.cpp util.cpp warning.cpp z3_exception.cpp zstring.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\util\util.vcxproj] util.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\util\util.dir\Release\util.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/math/polynomial/algebraic_params.hpp" from "algebraic_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\math\polynomial\algebraic_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\polynomial\algebraic_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/polynomial/CMakeLists.txt algebraic_numbers.cpp polynomial_cache.cpp polynomial.cpp rpolynomial.cpp sexpr2upolynomial.cpp upolynomial.cpp upolynomial_factorization.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\polynomial\polynomial.vcxproj] polynomial.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\polynomial\polynomial.dir\Release\polynomial.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/ast/pp_params.hpp" from "pp_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\ast\pp_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\pp_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/CMakeLists.txt act_cache.cpp arith_decl_plugin.cpp array_decl_plugin.cpp ast.cpp ast_ll_pp.cpp ast_lt.cpp ast_pp_util.cpp ast_printer.cpp ast_smt2_pp.cpp ast_smt_pp.cpp ast_pp_dot.cpp ast_translation.cpp ast_util.cpp bv_decl_plugin.cpp char_decl_plugin.cpp cost_evaluator.cpp datatype_decl_plugin.cpp decl_collector.cpp display_dimacs.cpp dl_decl_plugin.cpp expr2polynomial.cpp expr2var.cpp expr_abstract.cpp expr_functors.cpp expr_map.cpp expr_stat.cpp expr_substitution.cpp for_each_ast.cpp for_each_expr.cpp format.cpp fpa_decl_plugin.cpp func_decl_dependencies.cpp has_free_vars.cpp macro_substitution.cpp num_occurs.cpp occurs.cpp pb_decl_plugin.cpp pp.cpp quantifier_stat.cpp recfun_decl_plugin.cpp reg_decl_plugins.cpp seq_decl_plugin.cpp shared_occs.cpp special_relations_decl_plugin.cpp static_features.cpp used_vars.cpp value_generator.cpp well_sorted.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\ast.vcxproj] ast.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\ast.dir\Release\ast.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/automata/CMakeLists.txt automaton.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\automata\automata.vcxproj] automata.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\automata\automata.dir\Release\automata.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/arith_rewriter_params.hpp" from "arith_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\arith_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\arith_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/array_rewriter_params.hpp" from "array_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\array_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\array_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/bool_rewriter_params.hpp" from "bool_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\bool_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\bool_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/bv_rewriter_params.hpp" from "bv_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\bv_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\bv_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/fpa_rewriter_params.hpp" from "fpa_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\fpa_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\fpa_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/fpa2bv_rewriter_params.hpp" from "fpa2bv_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\fpa2bv_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\fpa2bv_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/pattern_inference_params_helper.hpp" from "pattern_inference_params_helper.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\pattern_inference_params_helper.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\pattern_inference_params_helper.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/poly_rewriter_params.hpp" from "poly_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\poly_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\poly_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/rewriter_params.hpp" from "rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/seq_rewriter_params.hpp" from "seq_rewriter_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\seq_rewriter_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\seq_rewriter_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/params/solver_params.hpp" from "solver_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\params\solver_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\solver_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/params/CMakeLists.txt pattern_inference_params.cpp context_params.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\params.vcxproj] params.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\params\params.dir\Release\params.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/rewriter/CMakeLists.txt arith_rewriter.cpp array_rewriter.cpp ast_counter.cpp bit2int.cpp bool_rewriter.cpp bv_bounds.cpp bv_elim.cpp bv_rewriter.cpp cached_var_subst.cpp char_rewriter.cpp datatype_rewriter.cpp der.cpp distribute_forall.cpp dl_rewriter.cpp elim_bounds.cpp enum2bv_rewriter.cpp expr_replacer.cpp expr_safe_replace.cpp factor_equivs.cpp factor_rewriter.cpp fpa_rewriter.cpp func_decl_replace.cpp hoist_rewriter.cpp inj_axiom.cpp label_rewriter.cpp maximize_ac_sharing.cpp mk_simplified_app.cpp pb_rewriter.cpp pb2bv_rewriter.cpp push_app_ite.cpp quant_hoist.cpp recfun_rewriter.cpp rewriter.cpp seq_axioms.cpp seq_eq_solver.cpp seq_rewriter.cpp seq_skolem.cpp th_rewriter.cpp value_sweep.cpp var_subst.cpp mk_extract_proc.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\rewriter\rewriter.vcxproj] rewriter.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\rewriter\rewriter.dir\Release\rewriter.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/macros/CMakeLists.txt macro_finder.cpp macro_manager.cpp quantifier_macro_info.cpp macro_util.cpp quasi_macros.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\macros\macros.vcxproj] macros.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\macros\macros.dir\Release\macros.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/model/model_evaluator_params.hpp" from "model_evaluator_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\model\model_evaluator_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\model\model_evaluator_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/model/model_params.hpp" from "model_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\model\model_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\model\model_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/model/CMakeLists.txt array_factory.cpp datatype_factory.cpp func_interp.cpp model2expr.cpp model_core.cpp model.cpp model_evaluator.cpp model_implicant.cpp model_macro_solver.cpp model_pp.cpp model_smt2_pp.cpp model_v2_pp.cpp numeral_factory.cpp struct_factory.cpp value_factory.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\model\model.vcxproj] model.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\model\model.dir\Release\model.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/tactic/tactic_params.hpp" from "tactic_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\tactic\tactic_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\tactic_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/CMakeLists.txt dependency_converter.cpp equiv_proof_converter.cpp generic_model_converter.cpp goal.cpp goal_num_occurs.cpp goal_shared_occs.cpp goal_util.cpp horn_subsume_model_converter.cpp model_converter.cpp probe.cpp proof_converter.cpp replace_proof_converter.cpp tactical.cpp tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\tactic.vcxproj] tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\tactic.dir\Release\tactic.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/solver/combined_solver_params.hpp" from "combined_solver_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\solver\combined_solver_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\solver\combined_solver_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/solver/parallel_params.hpp" from "parallel_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\solver\parallel_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\solver\parallel_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/solver/CMakeLists.txt check_sat_result.cpp check_logic.cpp combined_solver.cpp mus.cpp parallel_tactic.cpp smt_logics.cpp solver.cpp solver_na2as.cpp solver_pool.cpp solver2tactic.cpp tactic2solver.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\solver\solver.vcxproj] solver.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\solver\solver.dir\Release\solver.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/ackermannization/ackermannization_params.hpp" from "ackermannization_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\ackermannization\ackermannization_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ackermannization\ackermannization_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/ackermannization/ackermannize_bv_tactic_params.hpp" from "ackermannize_bv_tactic_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\ackermannization\ackermannize_bv_tactic_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ackermannization\ackermannize_bv_tactic_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ackermannization/CMakeLists.txt ackermannize_bv_model_converter.cpp ackermannize_bv_tactic.cpp ackr_bound_probe.cpp ackr_helper.cpp ackr_model_converter.cpp lackr.cpp lackr_model_constructor.cpp lackr_model_converter_lazy.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ackermannization\ackermannization.vcxproj] ackermannization.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ackermannization\ackermannization.dir\Release\ackermannization.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/aig/CMakeLists.txt aig.cpp aig_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\aig\aig_tactic.vcxproj] aig_tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\aig\aig_tactic.dir\Release\aig_tactic.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/ast/normal_forms/nnf_params.hpp" from "nnf_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\ast\normal_forms\nnf_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\normal_forms\nnf_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/normal_forms/CMakeLists.txt defined_names.cpp elim_term_ite.cpp name_exprs.cpp nnf.cpp pull_quant.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\normal_forms\normal_forms.vcxproj] normal_forms.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\normal_forms\normal_forms.dir\Release\normal_forms.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/core/CMakeLists.txt blast_term_ite_tactic.cpp cofactor_elim_term_ite.cpp cofactor_term_ite_tactic.cpp collect_statistics_tactic.cpp ctx_simplify_tactic.cpp der_tactic.cpp distribute_forall_tactic.cpp dom_simplify_tactic.cpp elim_term_ite_tactic.cpp elim_uncnstr_tactic.cpp injectivity_tactic.cpp nnf_tactic.cpp occf_tactic.cpp pb_preprocess_tactic.cpp propagate_values_tactic.cpp reduce_args_tactic.cpp reduce_invertible_tactic.cpp simplify_tactic.cpp solve_eqs_tactic.cpp special_relations_tactic.cpp split_clause_tactic.cpp symmetry_reduce_tactic.cpp tseitin_cnf_tactic.cpp collect_occs.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\core\core_tactics.vcxproj] core_tactics.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\core\core_tactics.dir\Release\core_tactics.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/dd/CMakeLists.txt dd_bdd.cpp dd_fdd.cpp dd_pdd.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\dd\dd.vcxproj] dd.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\dd\dd.dir\Release\dd.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/simplex/CMakeLists.txt simplex.cpp model_based_opt.cpp bit_matrix.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\simplex\simplex.vcxproj] simplex.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\simplex\simplex.dir\Release\simplex.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/grobner/CMakeLists.txt grobner.cpp pdd_simplifier.cpp pdd_solver.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\grobner\grobner.vcxproj] grobner.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\grobner\grobner.dir\Release\grobner.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/sat/sat_asymm_branch_params.hpp" from "sat_asymm_branch_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\sat\sat_asymm_branch_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat_asymm_branch_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/sat/sat_params.hpp" from "sat_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\sat\sat_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/sat/sat_scc_params.hpp" from "sat_scc_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\sat\sat_scc_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat_scc_params.hpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/sat/sat_simplifier_params.hpp" from "sat_simplifier_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\sat\sat_simplifier_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat_simplifier_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/sat/CMakeLists.txt dimacs.cpp sat_aig_cuts.cpp sat_aig_finder.cpp sat_anf_simplifier.cpp sat_asymm_branch.cpp sat_bcd.cpp sat_big.cpp sat_binspr.cpp sat_clause.cpp sat_clause_set.cpp sat_clause_use_list.cpp sat_cleaner.cpp sat_config.cpp sat_cut_simplifier.cpp sat_cutset.cpp sat_ddfw.cpp sat_drat.cpp sat_elim_eqs.cpp sat_elim_vars.cpp sat_gc.cpp sat_integrity_checker.cpp sat_local_search.cpp sat_lookahead.cpp sat_lut_finder.cpp sat_model_converter.cpp sat_mus.cpp sat_npn3_finder.cpp sat_parallel.cpp sat_prob.cpp sat_probing.cpp sat_scc.cpp sat_simplifier.cpp sat_solver.cpp sat_watched.cpp sat_xor_finder.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat.vcxproj] sat.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat.dir\Release\sat.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/arith/CMakeLists.txt add_bounds_tactic.cpp arith_bounds_tactic.cpp bound_manager.cpp bound_propagator.cpp bv2int_rewriter.cpp bv2real_rewriter.cpp card2bv_tactic.cpp degree_shift_tactic.cpp diff_neq_tactic.cpp eq2bv_tactic.cpp factor_tactic.cpp fix_dl_var_tactic.cpp fm_tactic.cpp lia2card_tactic.cpp lia2pb_tactic.cpp linear_equation.cpp nla2bv_tactic.cpp normalize_bounds_tactic.cpp pb2bv_model_converter.cpp pb2bv_tactic.cpp probe_arith.cpp propagate_ineqs_tactic.cpp purify_arith_tactic.cpp recover_01_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\arith\arith_tactics.vcxproj] arith_tactics.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\arith\arith_tactics.dir\Release\arith_tactics.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/rewriter/bit_blaster/CMakeLists.txt bit_blaster.cpp bit_blaster_rewriter.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\rewriter\bit_blaster\bit_blaster.vcxproj] bit_blaster.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\rewriter\bit_blaster\bit_blaster.dir\Release\bit_blaster.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/cmd_context/CMakeLists.txt basic_cmds.cpp cmd_context.cpp cmd_context_to_goal.cpp cmd_util.cpp echo_tactic.cpp eval_cmd.cpp parametric_cmd.cpp pdecl.cpp simplify_cmd.cpp tactic_cmds.cpp tactic_manager.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\cmd_context\cmd_context.vcxproj] cmd_context.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\cmd_context\cmd_context.dir\Release\cmd_context.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/euf/CMakeLists.txt euf_enode.cpp euf_etable.cpp euf_egraph.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\euf\euf.vcxproj] euf.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\euf\euf.dir\Release\euf.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/fpa/CMakeLists.txt bv2fpa_converter.cpp fpa2bv_converter.cpp fpa2bv_rewriter.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\fpa\fpa.vcxproj] fpa.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\fpa\fpa.dir\Release\fpa.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/nlsat/nlsat_params.hpp" from "nlsat_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\nlsat\nlsat_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\nlsat\nlsat_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/nlsat/CMakeLists.txt nlsat_clause.cpp nlsat_evaluator.cpp nlsat_explain.cpp nlsat_interval_set.cpp nlsat_solver.cpp nlsat_types.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\nlsat\nlsat.vcxproj] nlsat.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\nlsat\nlsat.dir\Release\nlsat.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/smt/params/smt_params_helper.hpp" from "smt_params_helper.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\smt\params\smt_params_helper.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\params\smt_params_helper.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/smt/params/CMakeLists.txt dyn_ack_params.cpp preprocessor_params.cpp qi_params.cpp smt_params.cpp theory_arith_params.cpp theory_array_params.cpp theory_bv_params.cpp theory_pb_params.cpp theory_seq_params.cpp theory_str_params.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\params\smt_params.vcxproj] smt_params.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\params\smt_params.dir\Release\smt_params.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/lp/CMakeLists.txt binary_heap_priority_queue.cpp binary_heap_upair_queue.cpp core_solver_pretty_printer.cpp dense_matrix.cpp eta_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_dual_core_solver.cpp lp_dual_simplex.cpp lp_primal_core_solver.cpp lp_primal_simplex.cpp lp_settings.cpp lp_solver.cpp lu.cpp lp_utils.cpp matrix.cpp mon_eq.cpp monomial_bounds.cpp nex_creator.cpp nla_basics_lemmas.cpp nla_common.cpp nla_core.cpp nla_grobner.cpp nla_intervals.cpp nla_monotone_lemmas.cpp nla_order_lemmas.cpp nla_solver.cpp nla_tangent_lemmas.cpp nra_solver.cpp permutation_matrix.cpp random_updater.cpp row_eta_matrix.cpp scaler.cpp square_dense_submatrix.cpp square_sparse_matrix.cpp static_matrix.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\lp\lp.vcxproj] lp.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\lp\lp.dir\Release\lp.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/qe/mbp/CMakeLists.txt mbp_arith.cpp mbp_arrays.cpp mbp_datatypes.cpp mbp_plugin.cpp mbp_solve_plugin.cpp mbp_term_graph.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\qe\mbp\mbp.vcxproj] mbp.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\qe\mbp\mbp.dir\Release\mbp.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/sat/smt/CMakeLists.txt arith_axioms.cpp arith_diagnostics.cpp arith_internalize.cpp arith_solver.cpp array_axioms.cpp array_diagnostics.cpp array_internalize.cpp array_model.cpp array_solver.cpp atom2bool_var.cpp bv_ackerman.cpp bv_delay_internalize.cpp bv_internalize.cpp bv_invariant.cpp bv_solver.cpp dt_solver.cpp euf_ackerman.cpp euf_internalize.cpp euf_invariant.cpp euf_model.cpp euf_proof.cpp euf_proof_checker.cpp euf_relevancy.cpp euf_solver.cpp fpa_solver.cpp pb_card.cpp pb_constraint.cpp pb_internalize.cpp pb_pb.cpp pb_solver.cpp q_clause.cpp q_ematch.cpp q_eval.cpp q_mam.cpp q_mbi.cpp q_model_fixer.cpp q_queue.cpp q_solver.cpp recfun_solver.cpp sat_th.cpp user_solver.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\smt\sat_smt.vcxproj] sat_smt.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\smt\sat_smt.dir\Release\sat_smt.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/sat/tactic/CMakeLists.txt goal2sat.cpp sat2goal.cpp sat_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\tactic\sat_tactic.vcxproj] sat_tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\tactic\sat_tactic.dir\Release\sat_tactic.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/nlsat/tactic/CMakeLists.txt goal2nlsat.cpp nlsat_tactic.cpp qfnra_nlsat_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\nlsat\tactic\nlsat_tactic.vcxproj] nlsat_tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\nlsat\tactic\nlsat_tactic.dir\Release\nlsat_tactic.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/parsers/util/parser_params.hpp" from "parser_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\parsers\util\parser_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\parsers\util\parser_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/parsers/util/CMakeLists.txt cost_parser.cpp pattern_validation.cpp scanner.cpp simple_parser.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\parsers\util\parser_util.vcxproj] parser_util.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\parsers\util\parser_util.dir\Release\parser_util.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/parsers/smt2/CMakeLists.txt marshal.cpp smt2parser.cpp smt2scanner.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\parsers\smt2\smt2parser.vcxproj] smt2parser.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\parsers\smt2\smt2parser.dir\Release\smt2parser.lib Generating "database.h" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/ast/pattern/database.h" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/pattern/CMakeLists.txt expr_pattern_match.cpp pattern_inference.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\pattern\pattern.vcxproj] pattern.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\pattern\pattern.dir\Release\pattern.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/proofs/CMakeLists.txt proof_checker.cpp proof_utils.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\proofs\proofs.vcxproj] proofs.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\proofs\proofs.dir\Release\proofs.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/smt/proto_model/CMakeLists.txt proto_model.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\proto_model\proto_model.vcxproj] proto_model.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\proto_model\proto_model.dir\Release\proto_model.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/qe/lite/CMakeLists.txt qe_lite.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\qe\lite\qe_lite.vcxproj] qe_lite.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\qe\lite\qe_lite.dir\Release\qe_lite.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/solver/assertions/CMakeLists.txt asserted_formulas.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\solver\assertions\solver_assertions.vcxproj] solver_assertions.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\solver\assertions\solver_assertions.dir\Release\solver_assertions.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/ast/substitution/CMakeLists.txt matcher.cpp substitution.cpp substitution_tree.cpp unifier.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\substitution\substitution.vcxproj] substitution.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\ast\substitution\substitution.dir\Release\substitution.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/smt/CMakeLists.txt arith_eq_adapter.cpp arith_eq_solver.cpp dyn_ack.cpp expr_context_simplifier.cpp fingerprints.cpp mam.cpp old_interval.cpp qi_queue.cpp seq_axioms.cpp seq_eq_solver.cpp seq_ne_solver.cpp seq_offset_eq.cpp seq_regex.cpp smt_almost_cg_table.cpp smt_arith_value.cpp smt_case_split_queue.cpp smt_cg_table.cpp smt_checker.cpp smt_clause.cpp smt_clause_proof.cpp smt_conflict_resolution.cpp smt_consequences.cpp smt_context.cpp smt_context_inv.cpp smt_context_pp.cpp smt_context_stat.cpp smt_enode.cpp smt_farkas_util.cpp smt_for_each_relevant_expr.cpp smt_implied_equalities.cpp smt_internalizer.cpp smt_justification.cpp smt_kernel.cpp smt_literal.cpp smt_lookahead.cpp smt_model_checker.cpp smt_model_finder.cpp smt_model_generator.cpp smt_parallel.cpp smt_quantifier.cpp smt_quick_checker.cpp smt_relevancy.cpp smt_setup.cpp smt_solver.cpp smt_statistics.cpp smt_theory.cpp smt_value_sort.cpp smt2_extra_cmds.cpp theory_arith.cpp theory_array_bapa.cpp theory_array_base.cpp theory_array.cpp theory_array_full.cpp theory_bv.cpp theory_char.cpp theory_datatype.cpp theory_dense_diff_logic.cpp theory_diff_logic.cpp theory_dl.cpp theory_dummy.cpp theory_fpa.cpp theory_lra.cpp theory_opt.cpp theory_pb.cpp theory_recfun.cpp theory_seq.cpp theory_special_relations.cpp theory_str.cpp theory_str_mc.cpp theory_str_regex.cpp theory_user_propagator.cpp theory_utvpi.cpp theory_wmaxsat.cpp uses_theory.cpp watch_list.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\smt.vcxproj] smt.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\smt.dir\Release\smt.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/qe/CMakeLists.txt nlarith_util.cpp nlqsat.cpp qe_arith_plugin.cpp qe_array_plugin.cpp qe_bool_plugin.cpp qe_bv_plugin.cpp qe_cmd.cpp qe.cpp qe_datatype_plugin.cpp qe_dl_plugin.cpp qe_mbi.cpp qe_mbp.cpp qe_tactic.cpp qsat.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\qe\qe.vcxproj] qe.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\qe\qe.dir\Release\qe.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/muz/base/fp_params.hpp" from "fp_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\muz\base\fp_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\base\fp_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/base/CMakeLists.txt bind_variables.cpp dl_boogie_proof.cpp dl_context.cpp dl_costs.cpp dl_rule.cpp dl_rule_set.cpp dl_rule_subsumption_index.cpp dl_rule_transformer.cpp dl_util.cpp hnf.cpp rule_properties.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\base\muz.vcxproj] muz.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\base\muz.dir\Release\muz.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/dataflow/CMakeLists.txt dataflow.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\dataflow\dataflow.vcxproj] dataflow.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\dataflow\dataflow.dir\Release\dataflow.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/hilbert/CMakeLists.txt hilbert_basis.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\hilbert\hilbert.vcxproj] hilbert.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\hilbert\hilbert.dir\Release\hilbert.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/transforms/CMakeLists.txt dl_mk_array_blast.cpp dl_mk_backwards.cpp dl_mk_bit_blast.cpp dl_mk_coalesce.cpp dl_mk_coi_filter.cpp dl_mk_filter_rules.cpp dl_mk_interp_tail_simplifier.cpp dl_mk_karr_invariants.cpp dl_mk_loop_counter.cpp dl_mk_magic_sets.cpp dl_mk_magic_symbolic.cpp dl_mk_quantifier_abstraction.cpp dl_mk_quantifier_instantiation.cpp dl_mk_rule_inliner.cpp dl_mk_scale.cpp dl_mk_separate_negated_tails.cpp dl_mk_slice.cpp dl_mk_subsumption_checker.cpp dl_mk_unbound_compressor.cpp dl_mk_unfold.cpp dl_transforms.cpp dl_mk_array_eq_rewrite.cpp dl_mk_array_instantiation.cpp dl_mk_elim_term_ite.cpp dl_mk_synchronize.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\transforms\transforms.vcxproj] transforms.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\transforms\transforms.dir\Release\transforms.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/bmc/CMakeLists.txt dl_bmc_engine.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\bmc\bmc.vcxproj] bmc.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\bmc\bmc.dir\Release\bmc.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/bv/CMakeLists.txt bit_blaster_model_converter.cpp bit_blaster_tactic.cpp bv1_blaster_tactic.cpp bvarray2uf_rewriter.cpp bvarray2uf_tactic.cpp bv_bound_chk_tactic.cpp bv_bounds_tactic.cpp bv_size_reduction_tactic.cpp dt2bv_tactic.cpp elim_small_bv_tactic.cpp max_bv_sharing_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\bv\bv_tactics.vcxproj] bv_tactics.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\bv\bv_tactics.dir\Release\bv_tactics.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/clp/CMakeLists.txt clp_context.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\clp\clp.vcxproj] clp.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\clp\clp.dir\Release\clp.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/rel/CMakeLists.txt aig_exporter.cpp check_relation.cpp dl_base.cpp dl_bound_relation.cpp dl_check_table.cpp dl_compiler.cpp dl_external_relation.cpp dl_finite_product_relation.cpp dl_instruction.cpp dl_interval_relation.cpp dl_lazy_table.cpp dl_mk_explanations.cpp dl_mk_similarity_compressor.cpp dl_mk_simple_joins.cpp dl_product_relation.cpp dl_relation_manager.cpp dl_sieve_relation.cpp dl_sparse_table.cpp dl_table.cpp dl_table_relation.cpp doc.cpp karr_relation.cpp rel_context.cpp udoc_relation.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\rel\rel.vcxproj] rel.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\rel\rel.dir\Release\rel.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/ddnf/CMakeLists.txt ddnf.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\ddnf\ddnf.vcxproj] ddnf.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\ddnf\ddnf.dir\Release\ddnf.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/sat/sat_solver/CMakeLists.txt inc_sat_solver.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat_solver\sat_solver.vcxproj] sat_solver.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\sat\sat_solver\sat_solver.dir\Release\sat_solver.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/fd_solver/CMakeLists.txt bounded_int2bv_solver.cpp enum2bv_solver.cpp fd_solver.cpp pb2bv_solver.cpp smtfd_solver.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\fd_solver\fd_solver.vcxproj] fd_solver.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\fd_solver\fd_solver.dir\Release\fd_solver.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/smt/tactic/CMakeLists.txt ctx_solver_simplify_tactic.cpp smt_tactic_core.cpp unit_subsumption_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\tactic\smt_tactic.vcxproj] smt_tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\smt\tactic\smt_tactic.dir\Release\smt_tactic.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/spacer/CMakeLists.txt spacer_legacy_mev.cpp spacer_legacy_frames.cpp spacer_context.cpp spacer_dl_interface.cpp spacer_farkas_learner.cpp spacer_generalizers.cpp spacer_manager.cpp spacer_prop_solver.cpp spacer_sym_mux.cpp spacer_util.cpp spacer_cluster_util.cpp spacer_iuc_solver.cpp spacer_legacy_mbp.cpp spacer_proof_utils.cpp spacer_unsat_core_learner.cpp spacer_unsat_core_plugin.cpp spacer_matrix.cpp spacer_antiunify.cpp spacer_mev_array.cpp spacer_qe_project.cpp spacer_sem_matcher.cpp spacer_quant_generalizer.cpp spacer_arith_generalizers.cpp spacer_global_generalizer.cpp spacer_ind_lemma_generalizer.cpp spacer_expand_bnd_generalizer.cpp spacer_cluster.cpp spacer_callback.cpp spacer_iuc_proof.cpp spacer_mbc.cpp spacer_pdr.cpp spacer_sat_answer.cpp spacer_concretize.cpp spacer_convex_closure.cpp spacer_conjecture.cpp spacer_arith_kernel.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\spacer\spacer.vcxproj] spacer.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\spacer\spacer.dir\Release\spacer.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/tab/CMakeLists.txt tab_context.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\tab\tab.vcxproj] tab.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\tab\tab.dir\Release\tab.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/muz/fp/CMakeLists.txt datalog_parser.cpp dl_cmds.cpp dl_register_engine.cpp horn_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\fp\fp.vcxproj] fp.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\muz\fp\fp.dir\Release\fp.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/tactic/smtlogics/qfufbv_tactic_params.hpp" from "qfufbv_tactic_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\tactic\smtlogics\qfufbv_tactic_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\smtlogics\qfufbv_tactic_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/smtlogics/CMakeLists.txt nra_tactic.cpp qfaufbv_tactic.cpp qfauflia_tactic.cpp qfbv_tactic.cpp qfidl_tactic.cpp qflia_tactic.cpp qflra_tactic.cpp qfnia_tactic.cpp qfnra_tactic.cpp qfufbv_ackr_model_converter.cpp qfufbv_tactic.cpp qfuf_tactic.cpp quant_tactics.cpp smt_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\smtlogics\smtlogic_tactics.vcxproj] smtlogic_tactics.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\smtlogics\smtlogic_tactics.dir\Release\smtlogic_tactics.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/fpa/CMakeLists.txt fpa2bv_model_converter.cpp fpa2bv_tactic.cpp qffp_tactic.cpp qffplra_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\fpa\fpa_tactics.vcxproj] fpa_tactics.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\fpa\fpa_tactics.dir\Release\fpa_tactics.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/interval/CMakeLists.txt interval_mpq.cpp dep_intervals.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\interval\interval.vcxproj] interval.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\interval\interval.dir\Release\interval.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/tactic/sls/sls_params.hpp" from "sls_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\tactic\sls\sls_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\sls\sls_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/sls/CMakeLists.txt bvsls_opt_engine.cpp sls_engine.cpp sls_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\sls\sls_tactic.vcxproj] sls_tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\sls\sls_tactic.dir\Release\sls_tactic.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/opt/opt_params.hpp" from "opt_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\opt\opt_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\opt\opt_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/opt/CMakeLists.txt maxcore.cpp maxlex.cpp maxsmt.cpp opt_cmds.cpp opt_context.cpp opt_cores.cpp opt_lns.cpp opt_pareto.cpp opt_parse.cpp opt_preprocess.cpp optsmt.cpp opt_solver.cpp pb_sls.cpp sortmax.cpp totalizer.cpp wmax.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\opt\opt.vcxproj] opt.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\opt\opt.dir\Release\opt.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/subpaving/CMakeLists.txt subpaving.cpp subpaving_hwf.cpp subpaving_mpf.cpp subpaving_mpff.cpp subpaving_mpfx.cpp subpaving_mpq.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\subpaving\subpaving.vcxproj] subpaving.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\subpaving\subpaving.dir\Release\subpaving.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/subpaving/tactic/CMakeLists.txt expr2subpaving.cpp subpaving_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\subpaving\tactic\subpaving_tactic.vcxproj] subpaving_tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\subpaving\tactic\subpaving_tactic.dir\Release\subpaving_tactic.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/ufbv/CMakeLists.txt macro_finder_tactic.cpp quasi_macros_tactic.cpp ufbv_rewriter.cpp ufbv_rewriter_tactic.cpp ufbv_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\ufbv\ufbv_tactic.vcxproj] ufbv_tactic.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\ufbv\ufbv_tactic.dir\Release\ufbv_tactic.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/tactic/portfolio/CMakeLists.txt default_tactic.cpp smt_strategic_solver.cpp solver2lookahead.cpp solver_subsumption_tactic.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\portfolio\portfolio.vcxproj] portfolio.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\tactic\portfolio\portfolio.dir\Release\portfolio.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/math/realclosure/rcf_params.hpp" from "rcf_params.pyg" INFO:root:Using C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\src\src\math\realclosure\rcf_params.pyg INFO:root:Generated "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\realclosure\rcf_params.hpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/math/realclosure/CMakeLists.txt mpz_matrix.cpp realclosure.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\realclosure\realclosure.vcxproj] realclosure.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\math\realclosure\realclosure.dir\Release\realclosure.lib Generating api_commands.cpp;api_log_macros.cpp;api_log_macros.h Faking emission of 'z3\z3core.py' Generated 'C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api\api_log_macros.h' Generated 'C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api\api_log_macros.cpp' Generated 'C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api\api_commands.cpp' Generated 'C:\J2\w\prod-v1\bsr@2\80464\fdafd\tmpp08izowz' Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/api/CMakeLists.txt api_algebraic.cpp api_arith.cpp api_array.cpp api_ast.cpp api_ast_map.cpp api_ast_vector.cpp api_bv.cpp api_config_params.cpp api_context.cpp api_datalog.cpp api_datatype.cpp api_fpa.cpp api_goal.cpp api_log.cpp api_model.cpp api_numeral.cpp api_opt.cpp api_params.cpp api_parsers.cpp api_pb.cpp api_polynomial.cpp api_qe.cpp api_quant.cpp api_rcf.cpp api_seq.cpp api_solver.cpp api_special_relations.cpp api_stats.cpp api_tactic.cpp z3_replayer.cpp api_commands.cpp api_log_macros.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\api\api.vcxproj] api.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\api\api.dir\Release\api.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/cmd_context/extra_cmds/CMakeLists.txt dbg_cmds.cpp polynomial_cmds.cpp subpaving_cmds.cpp proof_cmds.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\cmd_context\extra_cmds\extra_cmds.vcxproj] extra_cmds.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\cmd_context\extra_cmds\extra_cmds.dir\Release\extra_cmds.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api/dll/gparams_register_modules.cpp" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api/dll\gparams_register_modules.cpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api/dll/install_tactic.cpp" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api/dll\install_tactic.cpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api/dll/mem_initializer.cpp" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api/dll\mem_initializer.cpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/api/dll/CMakeLists.txt dll.cpp gparams_register_modules.cpp install_tactic.cpp mem_initializer.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\api\dll\api_dll.vcxproj] api_dll.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\api\dll\api_dll.dir\Release\api_dll.lib Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/test/fuzzing/CMakeLists.txt expr_delta.cpp expr_rand.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\test\fuzzing\fuzzing.vcxproj] fuzzing.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\test\fuzzing\fuzzing.dir\Release\fuzzing.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api_dll.def" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/api_dll.def" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/CMakeLists.txt Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/CMakeLists.txt LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\src\libz3.vcxproj] libz3.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\Release\libz3.lib Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/shell/gparams_register_modules.cpp" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/shell\gparams_register_modules.cpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/shell/install_tactic.cpp" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/shell\install_tactic.cpp" Generating "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/shell/mem_initializer.cpp" INFO:root:Generated "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/build/src/shell\mem_initializer.cpp" Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/src/shell/CMakeLists.txt datalog_frontend.cpp dimacs_frontend.cpp drat_frontend.cpp gparams_register_modules.cpp install_tactic.cpp main.cpp mem_initializer.cpp opt_frontend.cpp smtlib_frontend.cpp z3_log_frontend.cpp lp_frontend.cpp shell.vcxproj -> C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\Release\z3.exe Building Custom Rule C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/build/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/src/CMakeLists.txt z3/4.11.2: Package '1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a' built z3/4.11.2: Build folder C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build z3/4.11.2: Generated conaninfo.txt z3/4.11.2: Generated conanbuildinfo.txt z3/4.11.2: Generating the package z3/4.11.2: Package folder C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\package\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a z3/4.11.2: Calling package() z3/4.11.2: Copied 1 '.txt' file: LICENSE.txt z3/4.11.2: CMake command: cmake --install "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build" --config Release --prefix "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a" ----Running------ > "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build\generators\conanbuild.bat" && cmake --install "C:\J2\w\prod-v1\bsr@2\80464\eceff\.conan\data\z3\4.11.2\_\_\build\1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a\build" --config Release --prefix "C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a" ----------------- -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/lib/cmake/z3/Z3Targets.cmake -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/lib/cmake/z3/Z3Targets-release.cmake -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/lib/cmake/z3/Z3Config.cmake -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/lib/pkgconfig/z3.pc -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/lib/libz3.lib -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_algebraic.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_api.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_ast_containers.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_fixedpoint.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_fpa.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3++.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_macros.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_optimization.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_polynomial.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_rcf.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_v1.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_spacer.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/include/z3_version.h -- Installing: C:/J2/w/prod-v1/bsr@2/80464/eceff/.conan/data/z3/4.11.2/_/_/package/1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a/bin/z3.exe [HOOK - conan-center.py] post_package(): [PACKAGE LICENSE (KB-H012)] OK [HOOK - conan-center.py] post_package(): [DEFAULT PACKAGE LAYOUT (KB-H013)] OK [HOOK - conan-center.py] post_package(): [MATCHING CONFIGURATION (KB-H014)] OK [HOOK - conan-center.py] post_package(): [SHARED ARTIFACTS (KB-H015)] OK [HOOK - conan-center.py] post_package(): [STATIC ARTIFACTS (KB-H074)] OK [HOOK - conan-center.py] post_package(): [EITHER STATIC OR SHARED OF EACH LIB (KB-H076)] OK [HOOK - conan-center.py] post_package(): [PC-FILES (KB-H020)] OK [HOOK - conan-center.py] post_package(): [CMAKE-MODULES-CONFIG-FILES (KB-H016)] OK [HOOK - conan-center.py] post_package(): [PDB FILES NOT ALLOWED (KB-H017)] OK [HOOK - conan-center.py] post_package(): [LIBTOOL FILES PRESENCE (KB-H018)] OK [HOOK - conan-center.py] post_package(): [MS RUNTIME FILES (KB-H021)] OK [HOOK - conan-center.py] post_package(): [SHORT_PATHS USAGE (KB-H066)] OK [HOOK - conan-center.py] post_package(): [MISSING SYSTEM LIBS (KB-H043)] OK [HOOK - conan-center.py] post_package(): [APPLE RELOCATABLE SHARED LIBS (KB-H077)] OK z3/4.11.2 package(): Packaged 1 '.exe' file: z3.exe z3/4.11.2 package(): Packaged 14 '.h' files z3/4.11.2 package(): Packaged 1 '.lib' file: libz3.lib z3/4.11.2 package(): Packaged 1 '.txt' file: LICENSE.txt z3/4.11.2: Package '1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a' created z3/4.11.2: Created package revision cbf25f953c490024823a39bd883b4d58 [HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK [HOOK - conan-center.py] post_package_info(): [LIBRARY DOES NOT EXIST (KB-H054)] OK [HOOK - conan-center.py] post_package_info(): [INCLUDE PATH DOES NOT EXIST (KB-H071)] OK Aggregating env generators CMake Deprecation Warning at CMakeLists.txt:2 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. CMake Warning at CMakeLists.txt:44 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): CMakeLists.txt:93 (disable_git_describe) CMake Warning at CMakeLists.txt:48 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): CMakeLists.txt:94 (disable_git_hash) CMake Warning (dev) at CMakeLists.txt:156 (find_package): Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules are removed. Run "cmake --help-policy CMP0148" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning (dev) at cmake/msvc_legacy_quirks.cmake:160 (message): Skipping legacy linker MSVC options for x86_64 RELEASE Call Stack (most recent call first): CMakeLists.txt:361 (include) This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning (dev) at cmake/msvc_legacy_quirks.cmake:160 (message): Skipping legacy linker MSVC options for x86_64 RELWITHDEBINFO Call Stack (most recent call first): CMakeLists.txt:361 (include) This warning is for project developers. Use -Wno-dev to suppress it. z3/4.11.2: WARN: Using the new toolchains and generators without specifying a build profile (e.g: -pr:b=default) is discouraged and might cause failures and unexpected behavior z3/4.11.2: WARN: Using the new toolchains and generators without specifying a build profile (e.g: -pr:b=default) is discouraged and might cause failures and unexpected behavior