LINUX.ORG.RU

Исходные коды Z3 опубликованы под лицензией MIT

 


0

1

Z3 — SMT решатель от Microsoft Research — опубликован под лицензией MIT.

Исходные коды доступны на гитхабе.

Nikolaj Bjørner — ведущий научный сотрудник MSR, как-то выступал с докладом в Яндексе о своей работе. Смотреть тут.

★★★★★

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.