https://github.com/friguzzi/cplint
Tip revision: 6acd2b18d8ede9883cd4e5fc815ec9e2a0f9cb79 authored by Fabrizio Riguzzi on 04 November 2018, 14:59:04 UTC
version 4.5.0: bddem as a separate pack
version 4.5.0: bddem as a separate pack
Tip revision: 6acd2b1
pack.pl
name(cplint).
title('A suite of programs for reasoning with probabilistic logic programs').
version('4.5.0').
author('Fabrizio Riguzzi','fabrizio.riguzzi@unife.it').
download('https://github.com/friguzzi/cplint/releases/*.zip').
requires(bddem).
requires(auc).
requires(matrix).
