Я хотел бы спросить, можно ли получить доступ к исходному коду C ++ для программы main (). Я просмотрел каталоги и не нашел. Причина в том, что я хотел бы отследить код, чтобы увидеть, как SCIP обрабатывает проблемы SAT, и, возможно, изменить код, чтобы проверить новые идеи для проблем SAT, с которыми я столкнулся. В интерфейсе SCIP я вижу
SCIP>
Который я читаю в своем текстовом файле, и он предлагает мне программу для чтения файлов.
Затем я ввожу cnf.
Затем я устанавливаю ограничения по времени и набираю «оптимизировать», чтобы запустить код.
Я хотел бы отследить основной код для этого и распечатать дополнительную информацию, которая может оказаться полезной.
