NLP solvers: callback stats
automatic documentation update
automatic casadibot merge