maltebehr

Results 1 comments of maltebehr

I think I stumbled across the exact same bug. It seems to occur when there are strictly more than 1024 SOS1 constrains for binary variables. Here is a minimal example...