> take a long time compiling

Lol np-hard is still np-hard no matter how you slice it (especially given vague objective functions).

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