Z3 — SMT решатель от Microsoft Research — опубликован под лицензией MIT.
Исходные коды доступны на гитхабе.
Nikolaj Bjørner — ведущий научный сотрудник MSR, как-то выступал с докладом в Яндексе о своей работе. Смотреть тут.
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Похожие темы
- Форум Опубликован исходный код Windows XP (2020)
- Новости PowerShell открыт и доступен для Linux (2016)
- Форум Дождались: свободная MS-DOS. Налетай! (2018)
- Новости Исходный код движка Doom III доступен для свободной загрузки (2011)
- Новости Nougat: Neural Optical Understanding for Academic Documents (2023)
- Новости Windows calculator портировали на Linux (2020)
- Форум Опубликован код oclHashcat под MIT лицензией (2015)
- Форум Лицензия, код под которой не смогут украсть через ИИ (2023)
- Новости Выпуск новой версии ОС Barrelfish (2011)
- Новости Исходный код Winamp опубликован под несвободной лицензией (2024)