A12

  • Хабрахабр

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

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

    Подробнее »


Кнопка «Наверх»
Закрыть