Code to the paper "Constrained C-Test Generation via Mixed-Integer Programming" - View it on GitHub