Credits

We want to acknowledge contributions, without which this solver would not be possible:

527efb333