https://remp3indir.net/integer-linear-programming/