GitHub repository: FCC/SATFC
Primary language: C++
Description: Public release of SATFC, a satisfiability solver-based Feasibility Checker to evaluate the feasibility of reassigning channels in the broadcast incentive auction.