daonode

functional logic solver with builtin parser