Programmatic usage

This section contains examples which show how to call the solver from other languages.