[almostgotcaught]

> take a long time compiling

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

[jafioti]

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

[gregorygoc]

What about it?