Помощь в сборке проекта

Тема в разделе "WASM.WIN32", создана пользователем HESH, 19 ноя 2020.

  1. HESH

    HESH Active Member

    Публикаций:
    2
    Регистрация:
    20 мар 2008
    Сообщения:
    143
    Может ли кто оказать помощь в сборке ЭТОГО небольшого проекта ? Моя студия грубо посылает меня за файлом z3.h, который не совсем понятно где искать.
     
    HESH, 19 ноя 2020
    #1
  2. q2e74

    q2e74 Active Member

    Публикаций:
    0
    Регистрация:
    18 окт 2018
    Сообщения:
    999
    погугли z3 smt solver
     
    q2e74, 19 ноя 2020
    #2