FRDCSA | external codebases | clproverpp-1.0.3

[Project image]

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 .