RTL2SAT Converter

[Guest]

Привіт,

Я шукаю програму, яка може конвертувати RTL код слово-SAT (для застосування в SMT Решатель) або КНФ.Будь-який коментар або пропозицію будуть вдячні.

З повагою,
KH

 

[Guest]

Хто має можливість завантажувати наступні програми?

Пара: http://www.eecs.umich.edu/ ~ zandrawi / пари / vapor.htm # зверненьЗ повагою,
KH