Главная » Архив меток: A12

Архив меток: A12

[Перевод] SMT-решатель на iPhone

Зачем покупать дорогой ПК, если ваш iPhone быстрее решает SMT? — Википедия Задача выполнимости формул в теориях (satisfiability modulo theories, SMT) — это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Пора перевести все формальные методы исследований на телефон». Несколько дней назад я написал в твиттере: «Любопытный эксперимент: на новом iPhone прувер Z3 работает быстрее, чем ...

Читать далее »