Actions
Task #5155
closed[solver][constraint] Поддержка конструкции связывания переменных
Start date:
07/25/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
140915
Description
В SMT-LIB есть очень полезная конструкций let, предназначенная для связывания переменных:
(let ((x1 t1) ... (xn tn)) t)
Нам такая конструкция нужна для реализации связывания переменных при вызове функций (реализованные сейчас подстановки также нужны - их трогать не нужно).
Задача срочная.
Updated by Alexander Kamkin over 10 years ago
- Priority changed from High to Urgent
Что с этой задачей?
Updated by Artem Kotsynyak over 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
r567
Updated by Andrei Tatarnikov about 10 years ago
- Status changed from Resolved to Closed
- Published in build set to 140915
Actions