Hi
I am trying to run maxsat2012-ubcsat-irots on windows. Is there an executable that i can use?
Thank you