neo: Correct the documentation of neo.nit according to PR #734.
[nit.git] / lib / ai / ai.nit
2014-08-11 Jean Privatlib/ai: introduce the ai library with `backtrack` as...