Public release of SATFC, a satisfiability solver-based Feasibility Checker to evaluate the feasibility of reassigning channels in the broadcast incentive auction.
Primary LanguageC++OtherNOASSERTION
No issues in this repository yet.