z3

Z3 Z3 — это средство доказательства теорем от Microsoft Research. Оно лицензировано под лицензией MIT. Двоичные дистрибутивы для Windows включают перенаправляемые компоненты среды выполнения C++. Если вы не знакомы с Z3, можете начать здесь. Предварительно собранные двоичные файлы для стабильных ...