4 ms·
It would be really awesome if the SAT Competitions required open source licenses instead of academically-restricted licenses. It would be amazing if we could us
by saosebastiao 10y ago
It would be really awesome if the SAT Competitions required open source licenses instead of academically-restricted licenses. It would be amazing if we could use {Lin,Plin,Treen}geling solvers or the like for open source software like this.
- readams 10y agoI think you'd find you wouldn't have any serious entries in the competitions any more.
- GFK_of_xmaspast 10y agoSeveral of those entrants have open source licenses.