"Test-Only Development" with the Z3 Theorem Prover

4 views

Skip to first unread message

unread,

Jul 10, 2014, 6:52:41 AM7/10/14

to polyglo...@googlegroups.com

Много итнересен пост:

Не разбирам Z3, но изглежда моделите му могат да включват и функции. Т.е. може да намира (програмира) функции автоматично по зададен "тест".