Чего я хочу достичь: Изменить формулу SAT, созданную в инструменте.Передайте его в решатель SAT для проверки и проверки ограниченной модели.
Где я застрял: Не могу точно определить место (файл, папку и т. Д.), Где эти изменения должны быть сделаны.