SMT Solver в ядре Linux
Есть ли способ вызвать решатель SMT, например, Yices или STP, из ядра Linux? Я хочу реализовать символический механизм выполнения и, следовательно, мне нужно решать ограничения во время выполнения. Заранее спасибо!
Есть ли способ вызвать решатель SMT, например, Yices или STP, из ядра Linux? Я хочу реализовать символический механизм выполнения и, следовательно, мне нужно решать ограничения во время выполнения. Заранее спасибо!