.cpp files in Logic

[mzain]

Hi all masters and all... ;)

I'm now doing a project related to Semantic Tableau and Proving technique as well,..

I'd like to ask a question about he best tool to use C++ with logic/modal logic/semantic tableau. Please kindly suggest me any of it.