Fortress

При обращении к SMT-решателю библиотекой генерируются *.smt2-файлы, которые сохраняются в temporary folder на жестком диске. Потенциально такой режим функционирования может привести к исчерпанию дискового пространства.

Предлагается по умолчанию удалять создаваемые файлы после разрешения переданных ограничений (silent mode), а режим отладки (debug mode) включать дополнительной опцией.