Можно ли получить доступ к исходному коду C ++ для SCIP?

Question

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

SCIP>

, к которому я читаю, в моем текстовом файле, и он запрашивает у меня средство чтения файлов.

Затем я ввожу 'cnf '.

Затем я устанавливаю свои временные ограничения и набираю' optimize 'для запуска кода.

Я хотел бы отследить основной код для этого и распечатать дополнительную информацию, которая может быть полезна .

Answer 1

Источники SCIP доступны здесь .

Однако, если исходный код программного обеспечения недоступен для скачать, но вы действительно хотите его, и у вас есть сборка программного обеспечения, вы можете копаться в Reverse Engineering.