.
FRDCSA | external codebases | clproverpp-1.0.3
Homepage

[Project image]
clproverpp-1.0.3

Jump to: Project Description

Project Description

CLProver++ is an ordered resolution based theorem prover for Coalition Logic. It accepts as input a set of DNCF_CL^MV clauses and outputs their satisfiability.


This page is part of the FWeb package.
Last updated Sat Oct 26 16:56:53 EDT 2019 .