https://docs.microsoft.com/en-us/cognitive-toolkit/brainscri...
Compilers might not be involved, interpreters can work just as well if most of the heavy lifting is in the solving.