GitHub repository: spectrumauctions/sats-opt
Primary language: Java
Created: 2017-04-25T08:00:09Z
Description: Winner Determination Problem Solvers for sats-core [requires cplex]