Clprover is a project mainly written in C++ and C, based on the GPL-3.0 license.

A First-order logic theorem prover