SPT долек от логики. Нет не одной операции которую можно сделать с SPT а связка Octopus+Z3X не в состоянии. С платной поддержкой можно и смирится. Но все плюсы сводятся к нулю из за кривого софта и нежелании поддержки придумать реализовать что то стоящее. Валяется без дела и даже жалко потратить на неё время.
__________________
Имеются 90% программаторов. Если будут вопросы буду рад помочь.
|