daonode

functional logic solver with builtin parser

readme.md