package

clprover

Description

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

Metadata

Version

1.0.3

License

Status

Source

pkgs/applications/science/logic/clprover/clprover.nix:21

Homepage

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

Maintainers (1)

Merlin Humml

Executables (1)

bin/CLProver++

Platforms (1)

Linux

Show all

x86_64-linux