FRDCSA | external codebases | clprover-1

[Project image]

Jump to: Project Description

Project Description

CLProver is a resolution-based theorem-prover based on the method described in he paper "A resolution-based calculus for Coalition Logic" (Nalon, C., Zhang, L., Dixon, C., and Hudstadt, U., Journal of Logic and Computation, 2014). It was implemented in SWI Prolog and the binary, compiled for linux x86_64, is available at http://www.cic.unb.br/docentes/nalon/software/clprover-v1.tar.gz.

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