Fork del proyecto de resolución automática de razonamientos en C++