2.1 Example 1. Note, that if we add to the repository rule about third compiler, our system will check 3 compilers without changing anything in user configuration file. So, determination of system parameters is the process of logic deduction, using knowledge base in SC-repository. So, the process of deduction is simplificated in comparison with standart logic. By default SC reads file from standart input and writes output to standart output.
Repository includes one or more files, which consist from the rules for symbols reductions.
Rules are delimited by 2 empty lines or comments. For more detailed description, please, look at package documentation. Answer on suggested requirements 1. I. e. if tool can be programmed via config file, than it can be programmed via parametrized config file. Particularly, by using in module SC tests, which return values for another platform.