Reorganize repo
tomerarnon opened this issue · 0 comments
tomerarnon commented
The optimization/adversarial/satisfiability categories have been obsolete for a long time. The only distinctions that make sense are between "optimization" and "reachability" (and maybe "hybrid"). We should reorganize accordingly.