This is your work, valued
proof-daemon. Simple solver for intuitionistic propositional logic
pltest. C++
