nixpkgs / clprover - Resolution-based theorem prover for Coalition Logic implemented in C++

Homepage - https://cgi.csc.liv.ac.uk/~ullrich/CLProver++/

License - GPL-3.0

Maintainers - Merlin Göttlinger

Releases

1.0.3 (expand/collapse)
From commit 00a41ebb to 00460bd6