LINUX.ORG.RU
Форум — Development  

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

 


0

1

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

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

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

★★★★★

Нужно.

anonymous
()

Борщета.

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