CODEWITHSUNDEEP
c++mathematical-optimizationscipsat
Chia Teck Yan
Chia Teck Yan

Reputation: 161

Is it possible to access the C++ source code for SCIP?

I would like to ask if it is possible to access the C++ source code for the main() program. I looked in the directories and am unable to find it. The reason being is that I would like to trace the code to see how SCIP handles SAT problems, and perhaps modify the code to test out new ideas for the SAT problems that I am facing. In the SCIP interface, I see

SCIP>

To which I read in my txt file and it prompts me for a file reader.

I then key in 'cnf'.

I then set my time limits and type 'optimize' to run the code.

I would like to trace the main code for this and print out some additional information which may be useful.

Upvotes: 0

Views: 199

Answers (1)

Nathanael Demacon
Nathanael Demacon

Reputation: 1217

The sources of SCIP are available here.

enter image description here

However if the source code of a software is not available to download but you really want it and you have a build of the software, you can dig into Reverse Engineering.

Upvotes: 2

Related Questions