0

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.

Chia Teck Yan
  • 151
  • 5

1 Answers1

2

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.

Nathanael Demacon
  • 1,169
  • 7
  • 19
  • Thank you for the answer. I tried digging into that but to no avail, because i would like to trace the code to a certain point and print out some outputs for greater understanding of my problems at hand. – Chia Teck Yan Jan 29 '20 at 02:42
  • You can find the function they call when using the SAT solver by following the functions calls. You can also find their maths [here](https://scip.zib.de/doc/html/WHATPROBLEMS.php) – Nathanael Demacon Jan 29 '20 at 09:36