np-hard is still solveable with constraints. look at go.