Package "cplint"

Title:	A suite of programs for reasoning with probabilistic logic programs
Rating:	Not rated. Create the first rating!
Latest version:	4.5.0
SHA1 sum:	ff894f10a938c3aba3640aa672dfd0f891153312
Author:	Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Download URL:	https://github.com/friguzzi/cplint/releases/*.zip
Requires:	auc
	bddem
	matrix

Reviews

No reviews. Create the first review!.

Details by download location

Version	SHA1	#Downloads	URL
4.5.0	0ea5b3ebc5a69fdba429cdb38b6f689d823fb493	46	https://github.com/friguzzi/cplint.git
	ee5d04694dac91bb5317fec56998612a946ceb68	3	https://github.com/friguzzi/cplint.git
	82fd091057af24388ea8b95e0a60b1336a98c784	8	https://github.com/friguzzi/cplint.git
	ac13bc1e1a4dfbece67a10fa9f30c990828cd439	3	https://github.com/friguzzi/cplint.git
	0867686e2c54866d41c5d6e104549b56db9c62d2	2	https://github.com/friguzzi/cplint.git
	685aa7ecb50e36e05791f522e3af6a533ad999f8	1	https://github.com/friguzzi/cplint.git
	dd6b96d800921b812451565c07d28d006bd11241	1	https://github.com/friguzzi/cplint.git
	ff894f10a938c3aba3640aa672dfd0f891153312	2	https://github.com/friguzzi/cplint.git
	a0d6cc126961195a416c94f0575601edbe0f441f	1	https://github.com/friguzzi/cplint.git
	a6ef290eee588d129126cee647f205a60ed8346b	2	https://github.com/friguzzi/cplint.git
	d9322247fc53292ba7b9ae303c161f931a0b1d49	8	https://github.com/friguzzi/cplint.git
	acdef34e38bb1d883c2cfad9f9fbd4f5e5ff9fcf	7	https://github.com/friguzzi/cplint.git
	5a60f454dc9df3a4f87c843fb7dd082656de6c7f	1	https://github.com/friguzzi/cplint.git
	077a951b866a7433236cfa0ef622a3b936fd57a6	1	https://github.com/friguzzi/cplint.git
	a9f384afb22d00055c4d78c84541b493ec446207	1	https://github.com/friguzzi/cplint.git
	fe60804fd63e3ac41804e1d8e618415144c61fd3	11	https://github.com/friguzzi/cplint.git
	ca6169641be6429f2910f6e482eab034c9712d18	3	https://github.com/friguzzi/cplint.git
	54f49c30ccfb36e7b866fabd673ebf2c3eaf11c7	1	https://github.com/friguzzi/cplint.git
	dada37eff8e6de398b96804439f8f179b16afcb1	3	https://github.com/friguzzi/cplint.git
	84470715198346e8c78beac5527776cf9db2293e	2	https://github.com/friguzzi/cplint.git
	0903145f0e22cd310dd89562494f8e1538084e67	1	https://github.com/friguzzi/cplint.git
	eb85c930c1912a479fa2500ac88d0e2e75c43b52	4	https://github.com/friguzzi/cplint.git
	e60ddf578c0b5c115a3c0f3747df1eacbb1de2ae	15	https://github.com/friguzzi/cplint.git
	afd52cad7b1a49120534d46a21d9c9f48c106e62	1	https://github.com/friguzzi/cplint.git
	5fa2d56991729b8d37b6ea9c7c2ca9184462b32f	2	https://github.com/friguzzi/cplint.git
	78780d0d835aa2eb08a0b533b9f0c7c2edbd02ca	3	https://github.com/friguzzi/cplint.git
	637de518388a7f467d43bc5df7fc650201999fc6	12	https://github.com/friguzzi/cplint.git
	ba903d819dbf1d6eddf5b19b6a46b748cb00b60c	10	https://github.com/friguzzi/cplint.git
	0925ecedac142e9a9c2fd351cd21e6e7abbbd42b	10	https://github.com/friguzzi/cplint.git
	00160ec4a06ad6fc5700b290ebd79a93972d6f16	3	https://github.com/friguzzi/cplint.git
	cf44466441664077e4bca7aad536fbb7ab1ebbd3	6	https://github.com/friguzzi/cplint.git
	2e84045c9b46cdbfcf218ea1d852220d895f13fd	26	https://github.com/friguzzi/cplint.git
	37cb9f5b7fdae874e9b454a45584b94058676f9e	51	https://github.com/friguzzi/cplint.git
	54a5e49ee575319d433ec87a6e5d27390bfced70	2	https://github.com/friguzzi/cplint.git
	8fea36bca305c6514b73478703a645d7f08ab288	2	https://github.com/friguzzi/cplint.git
	81fd369160acd0dc086eb1c7ff8441b027f01a92	7	https://github.com/friguzzi/cplint.git
	569e224034191de191de4e6406897aa2de9e7d38	1	https://github.com/friguzzi/cplint.git
	bab7dda7ca910a000965f5a30ec0b5111b2520d0	37	https://github.com/friguzzi/cplint.git
	d51fa0329d0bd7d6a18860c08d5b19967c25b3ce	4	https://github.com/friguzzi/cplint.git
	b1fd8b08316555c26f6ed43a7c4085634c31149f	1	https://github.com/friguzzi/cplint.git
	95a045d5d768b5f81fdf4c367e6599d1a50e15bb	5	https://github.com/friguzzi/cplint.git
	4388d7cdd5351e5f06d2f026a933ba1b455211cb	1	https://github.com/friguzzi/cplint.git
	c8eb5edb55ad064f288e9900594ed3e334c26f53	1	https://github.com/friguzzi/cplint.git
	b789aa5aaffc535ffa851073992790d19f79fe96	29	https://github.com/friguzzi/cplint.git
	fb74c8ff335ed246819fb7a35974dbe521ef26bd	1	https://github.com/friguzzi/cplint.git
	25308d27ea995e97d144ca27a24d9b84da5ad228	9	https://github.com/friguzzi/cplint.git
	38a2490bc7fbc9ae272ce603d16840e38ddf03b4	1	https://github.com/friguzzi/cplint.git
	6e7de27bf7857507aa62a50a7f8c216db3885689	2	https://github.com/friguzzi/cplint.git
	4f04f359a9d1b7b95c58e3ef82896b9a9bd9a7df	24	https://github.com/friguzzi/cplint.git
	bd26061ecf75675511f9a7a0ca8b128ce1b2a263	8	https://github.com/friguzzi/cplint.git
	f0170acb6974875378dde0456625b5952d6157bd	1	https://github.com/friguzzi/cplint.git
	f0037874ed6a0907acb556a25fc59fb7cac9035f	4	https://github.com/friguzzi/cplint.git
	8808f420f067f81b4d073cac67607a8de00d5253	8	https://github.com/friguzzi/cplint.git
	667a94096524ba38c3580211072e1c4778dd9454	9	https://github.com/friguzzi/cplint.git
	6f228b44ad796df1664ee0f9fdf40b248b39255d	4	https://github.com/friguzzi/cplint.git
	33f5e6a74aed3b630be7662c6cb4e972824e1a3d	1	https://github.com/friguzzi/cplint.git
	2b799da45b0dd385e599ee643d45fcfac1bf85c6	15	https://github.com/friguzzi/cplint.git
	b4497e8fb1bd1c03805b87db5f75682464e7de8c	47	https://github.com/friguzzi/cplint.git
	9bc5f5589c4831dba4e83cd50a0eae920835bed7	32	https://github.com/friguzzi/cplint.git
	21472bb07a46f2a93cac3f9f416db2f71b119531	19	https://github.com/friguzzi/cplint.git
	2073d9935ac1bfbdc1e3297d33924d768c665b5a	7	https://github.com/friguzzi/cplint.git
	5026430fa852204ea0d464d2e42fc9316e29753d	22	https://github.com/friguzzi/cplint.git
	759c4b9b74b4b1f4b95299cadb085c522d9b0f55	1	https://github.com/friguzzi/cplint.git
	c6538feaa0c87df30b8cc8d3190b480df5a89e11	6	https://github.com/friguzzi/cplint.git
	6221220a87f9ba260bfbd9b9a47d9bd8977f5e58	4	https://github.com/friguzzi/cplint.git
	804265fc5156b3d6ab8c6e14c3484c7991e841d7	43	https://github.com/friguzzi/cplint.git
	68d041fd5d49e88de6bfa33cdc9e9f5c8ff4baf6	187	https://github.com/friguzzi/cplint.git
	217da11b8341b1fb97bc0c8770ae1d8dec23eac3	27	https://github.com/friguzzi/cplint.git
4.1.0	5df54effb837f4b0d8f2ed357eef15fbe2af95f3	1	https://github.com/friguzzi/cplint/archive/v4.1.0.zip
	3b6b1f75be2d689172642016d4ac7b18a3078810	1	https://github.com/friguzzi/cplint.git
	3fcf1f26d442490a319b3a210ee808cad2684d5d	1	https://github.com/friguzzi/cplint.git
4.0.0	97f2efa4aa1b57deb4e93234c9df6314c3d42f7d	1	https://github.com/friguzzi/cplint.git
	868b90ba3765d37c590682448d7ae428b2880c9d	4	https://github.com/friguzzi/cplint/archive/v4.0.0.zip
	18a767d40d20b1eb06e30586c95a1d5d88af7eb6	1	https://github.com/friguzzi/cplint.git
3.1.0	305ee49f3cce5fe14b6feb36751720bd4a13e821	2	https://github.com/friguzzi/cplint.git
	56022fff29fd3c4a9edfaa0cb4e9c85589a7f534	46	https://github.com/friguzzi/cplint/archive/v3.1.0.zip
	190fb6280d22b49fc6c16a969c781df723fd6299	2	https://github.com/friguzzi/cplint.git
	b520e5feedda0841bfc0beb5228a0d50a850702f	5	https://github.com/friguzzi/cplint.git
	ec3210a1829750751e1ae0cd81ec9d4ec4a6e61c	1	https://github.com/friguzzi/cplint.git
	efd20983f9737937c3328e57cc136c4771f7c23f	2	https://github.com/friguzzi/cplint.git
	e15b883307c2ca08de6a1a9a00da85e529937854	1	https://github.com/friguzzi/cplint.git
	b7ad25b223f19dcad2b21b08b2593af3e7a20ef2	2	https://github.com/friguzzi/cplint.git
	de17fd60b9c6974704bdbce052921bfba4918490	2	https://github.com/friguzzi/cplint.git
	727c1f562809f717219f30e2d9f2fbbe44c0b426	1	https://github.com/friguzzi/cplint.git
	59588086fc05baa38818ef8832a66bde7a185a20	6	https://github.com/friguzzi/cplint.git
	08d2ba64b17d6f5197bf4720655c36d317966b46	1	https://github.com/friguzzi/cplint.git
	55f19ac47e5472a594cce1ec16d32247f46c1def	2	https://github.com/friguzzi/cplint.git
	18b0ddf53677aaec8cab2d7ad19779a9833cd202	4	https://github.com/friguzzi/cplint.git
	38325d362f73af3561e6e958e9da15d3b600f8c2	4	https://github.com/friguzzi/cplint.git
	fbc2bd14e3434ddb440fd53b925558f7da9e527c	1	https://github.com/friguzzi/cplint.git
	b50a7394ad59aa22cc7bb1b672a97289cd0ca6ff	1	https://github.com/friguzzi/cplint.git
	6eb5b1a91e61e5197e27e2c267c55aa0aa606305	3	https://github.com/friguzzi/cplint.git
	661ed960129896bc7985bb3eb4d1d8853d39acc9	1	https://github.com/friguzzi/cplint.git
	bb559eb8ff7c63e5772839493167debe29e19ff9	2	https://github.com/friguzzi/cplint.git
	f4843ffde4730a7bcc6ae7d88fce75f57340d807	1	https://github.com/friguzzi/cplint.git
	7e938145a7153b66126d7232c3157c8b12dd1861	1	https://github.com/friguzzi/cplint.git
	3dd8dfa0a70c009c35f2f5a56496936d9206b932	1	https://github.com/friguzzi/cplint.git
	ab1f1caca11103ca929c10e9437172d336710f92	9	https://github.com/friguzzi/cplint.git
	06a42e85b0d57c728d0b73e7257aaac15fd65b44	2	https://github.com/friguzzi/cplint.git
	1e5673bfc4f65225ca1a21177b3364a0c2e89362	1	https://github.com/friguzzi/cplint.git
	cfea74b41af6ce3f39563b8e2aa75e8b30766dd5	3	https://github.com/friguzzi/cplint.git
	5b0f7d14aea8e794d6819cf21dbdbed9081a564d	7	https://github.com/friguzzi/cplint.git
	6f649f66af8a5d963dbf6f791bd8813608156946	3	https://github.com/friguzzi/cplint.git
	01b55445b949a683f1f6318df9ca2489d84ee1e3	1	https://github.com/friguzzi/cplint.git
	0e161e01c7d20a7441159f09713aadb398e3eec8	1	https://github.com/friguzzi/cplint.git
	20addedafbdddd1c3b3c1c55681f1adf65f2b31e	1	https://github.com/friguzzi/cplint.git
	3233a00c531f422f9c094546afe8308eb6aca000	1	https://github.com/friguzzi/cplint.git
	0033029f0ce2016bf2f0b1318a23bab69f28b8cc	14	https://github.com/friguzzi/cplint.git
	1daa48f9443712bee04f5a8c387ac987a12c890d	11	https://github.com/friguzzi/cplint.git
	4ca2eeaa62d47ae9ddc957f2dea55c0c96b10c7a	1	https://github.com/friguzzi/cplint.git
	5eca8e7f3a154b2823f62ca1103e3d71a6f12a11	21	https://github.com/friguzzi/cplint.git
	86d4fc125c1dc8c6cd27b7a7893dfef270f43bf1	7	https://github.com/friguzzi/cplint.git
	babdd8e9722f6fee0b1f3d3e8bf85bb2696838ce	2	https://github.com/friguzzi/cplint.git
	f90fa2cbdb2de0588c3ac4d719a06cdf4d87a236	6	https://github.com/friguzzi/cplint.git
	0c287b713589efc660f5b66b69438f757eda3ab6	1	https://github.com/friguzzi/cplint.git
	aa65818e5d0e5626df8029e3d05df2334fd8ebb1	15	https://github.com/friguzzi/cplint.git
	69cfc2fa68451bfea19cc6270f151e68884421e1	3	https://github.com/friguzzi/cplint.git
	308ed84e476314e1d31dd8ee551ca3a5b8b44fc7	3	https://github.com/friguzzi/cplint.git
	7b89aa42361e63fe4589eb4686dd3bae2782e3f2	1	https://github.com/friguzzi/cplint.git
	e816f2c1d9467c695e432bce6b661d608a78dd42	14	https://github.com/friguzzi/cplint.git
	425ab7cd20ed60974bb80f5a5c54a4773a16d8ff	1	https://github.com/friguzzi/cplint.git
	f19119bd89bdb7bea51c2bfa2dbd79f2eb34660b	4	https://github.com/friguzzi/cplint.git
	5d4b762c75dad5ce5097bf6865d2daa89db44f55	1	https://github.com/friguzzi/cplint.git
	d0fc5a904c8df9bc497293207322932d03018905	3	https://github.com/friguzzi/cplint.git
	99719a81f4076fff91566a5d2554bcff7e19d969	2	https://github.com/friguzzi/cplint.git
	9e6fd11431fbe199b6e983a1c7cc4daba9ea8d9a	1	https://github.com/friguzzi/cplint.git
	a375f3a8e3c7e3e5bb946e361b8ea052ae355f2b	1	https://github.com/friguzzi/cplint.git
	a4f6b72044b9089c556efd934b9b4e32e59aa198	1	https://github.com/friguzzi/cplint.git
3.0	daf88e7ea58a45a6e7281ebb9ca3dc6016d02cc7	2	https://github.com/friguzzi/cplint.git
	15216569d8a479b51f40e150a8d576ac867b1c4f	1	https://github.com/friguzzi/cplint.git
	8d2d97063892fefe13cb583ecca5e9aa9fc31cfe	1	https://github.com/friguzzi/cplint.git
	ecd135ec2f0c1cc949058f972f5ddcc8d612ab7e	1	https://github.com/friguzzi/cplint.git
	fa5a12dd5157d09f875995f83e96a512b2d76c73	1	https://github.com/friguzzi/cplint.git
	583221f84789ca58cedbd4c75719bb2f96bd2c15	1	https://github.com/friguzzi/cplint.git
	e2cc62710545a7f70713ec25c24a475ceaeec470	2	https://github.com/friguzzi/cplint.git
	0b15cce7fa6ac00aaddba75d815b017e1bf6c7f1	1	https://github.com/friguzzi/cplint.git
	30574197e9f752646d55a2fc5d8b8abda08a4448	1	https://github.com/friguzzi/cplint.git
	38e52ceb2d66025a2532de02af93c225fb660d8a	1	https://github.com/friguzzi/cplint.git
	4f31d193a5f172fbd4bb48a7cce7fc1dc0b5e52f	1	https://github.com/friguzzi/cplint.git
	a212a4a9d2f3d13d5b6ecc438c6703a5dcd9671f	1	https://github.com/friguzzi/cplint.git
	17f54a12af1817ed94cff334448d4db3e2171539	1	https://github.com/friguzzi/cplint.git
	01921d07fe23cee4a03cd567ca7d42fde10c5875	2	https://github.com/friguzzi/cplint.git
	fa0bde658557973704b723087478c928baa90948	1	https://github.com/friguzzi/cplint.git
	2195fdd34ff87f75ba20eb43213bff0e19d9a400	1	https://github.com/friguzzi/cplint.git
	1cd6c0c7732128207392778e6a58ae9c2d52b19a	1	https://github.com/friguzzi/cplint.git
	2f36c6044245b3b0338158ed5cdc85bed5eb1069	6	https://github.com/friguzzi/cplint.git
	18eda8033e028de8c88e240bd8befdaf33016ed6	1	https://github.com/friguzzi/cplint.git
	870998e78655d2a54a72edc5ce354a008cb21102	2	https://github.com/friguzzi/cplint.git
	189ce1802366696290b13f54baf1dc7245f8f7d5	2	https://github.com/friguzzi/cplint.git
	c2f93a877acf92b70e94e6de97b227667f9bdfde	1	https://github.com/friguzzi/cplint.git
	6d2c21fd778ae088a63cf75af70779141bc5b150	1	https://github.com/friguzzi/cplint.git
	ec857c4f3abdcc06f581e91649795e388dead239	1	https://github.com/friguzzi/cplint.git
	1c9bd276527d7af66aa1df86f782020f1e7ddbee	1	https://github.com/friguzzi/cplint.git
	ea3cbfd98afa62b8fe9f49c8516717a377f14b29	1	https://github.com/friguzzi/cplint.git
	3908292844ecae64db6576d709aa6c88ba235c87	5	https://github.com/friguzzi/cplint.git
	d36631555507a9663fc1e1478258caff9f4bf733	3	https://github.com/friguzzi/cplint.git
	42d4405bad74a058e80734df2300fa43931e6e31	1	https://github.com/friguzzi/cplint.git
	bb16889bc9a9e5d21f94c13c0e8eb2bfe2ad6f1a	2	https://github.com/friguzzi/cplint.git
	4d37dfe324bcc67c44f98e9567f94857223452f2	3	https://github.com/friguzzi/cplint.git
	b9f1caff49efb6b228c13836d1e3d822bc46570a	3	https://github.com/friguzzi/cplint.git
	17958f0f3e696f866d2ba395c7401353853ff738	1	https://github.com/friguzzi/cplint.git
	25e141adb27bd385f771127c321fb5da80048275	1	https://github.com/friguzzi/cplint.git
	f5a7d59c13dd19d4e4c00913c0fb286d161123f6	1	https://github.com/friguzzi/cplint.git
	5803cbc6d739b2c4e000a1fc7378eb4fedfabff8	1	https://github.com/friguzzi/cplint.git
	cc39c0b60597b447fe804ffc2a820cb350710fb5	2	https://github.com/friguzzi/cplint.git
	a968874aa8d0a56b54c2c8516fdf8217a36708f2	1	https://github.com/friguzzi/cplint.git
	5850c8df658c7628257ec266311c34b11c10b06d	2	https://github.com/friguzzi/cplint.git
	e3eda9198efab4c275a2d833c824b508680ea780	1	https://github.com/friguzzi/cplint.git
	d240c04bf4ab8358c74aaa32ec0e13153eace4fa	1	https://github.com/friguzzi/cplint.git
	fce51f49b551700b73dac10eda478cc23748f268	1	https://github.com/friguzzi/cplint.git
	105a633597fba1fb7ef697d4fe8d91e36b6e8a2e	1	https://github.com/friguzzi/cplint.git
	3404bea4e0b1eed937eb1cd9b002a9918ebdf4f9	3	https://github.com/friguzzi/cplint.git
	1d10b995748cdab960f2af67d3721011972a214b	3	https://github.com/friguzzi/cplint.git
	e62de77128f916e23d2f8ad51c25d325b81cc57f	2	https://github.com/friguzzi/cplint.git
	4a91431ce56522f9b83ef48a46b8a133a68cb518	1	https://github.com/friguzzi/cplint.git
	7354f37adce8fee9ef74877a7a8e3cdbc8f6092d	1	https://github.com/friguzzi/cplint.git
	5e53f641297e823c1886516435b63de637929573	6	https://github.com/friguzzi/cplint.git
	958c049dc0bb6f69ac44a08f3a61774d6fdbcc18	3	https://github.com/friguzzi/cplint.git
	7d3574e48c9c88638a8c1f4920178199377dd449	3	https://github.com/friguzzi/cplint.git
	a26a08f6c29414b3abe886dee19cd32856fd055f	4	https://github.com/friguzzi/cplint.git
	bf0f86e489f747f323f8974db7e6ee3444570b59	2	https://github.com/friguzzi/cplint.git
	96273d0fafb445893dddd723f37a51d0bb253347	2	https://github.com/friguzzi/cplint.git
	c4d551619e509897f12d572dacfde240788cacea	1	https://github.com/friguzzi/cplint.git
	a235d43178389b5fd586b95185651ac8cb6b7ae1	2	https://github.com/friguzzi/cplint.git
2.0	9a23fedf514f5c3779b129d84a91b7e4832d7013	1	https://github.com/friguzzi/cplint.git
	d3b8eb8ed6e2ff89042cbdc5883c1ad55290d062	3	https://github.com/friguzzi/cplint.git
			git://github.com/friguzzi/cplint.git
	06d00a9924ae29cbbbbb2a7ebfa3fc8a40bae19e	1	https://github.com/friguzzi/cplint.git
	f436cfb0149e700d2bc349a40859c5e3a1d16444	1	https://github.com/friguzzi/cplint.git
	22b51f6553f217e4c15ad3aa8e0dbddb4565c0e0	1	https://github.com/friguzzi/cplint.git
	ceb8cb926b0da46896459215a602dcb677ad5be7	1	https://github.com/friguzzi/cplint.git
	d0c955e65d3ced9bf82f3dfa8c91a3b153d5ecff	38	https://github.com/friguzzi/cplint.git
			git://github.com/friguzzi/cplint.git
	24165098068ae12a1f24d2d16c162144001ac8af	1	https://github.com/giuseta/cplint.git
	d0d03db4e213cc066acc16f524195e13bb3d2532	1	https://github.com/giuseta/cplint.git
	46b4cf0cd9d82bb74159e154ee14949d76c9c01f	2	https://github.com/giuseta/cplint.git
	942282f9499cfd31750ea7b0a5d7a7e7a3266b77	2	https://github.com/friguzzi/cplint.git
	69d8d0261abc60bb1f3c948afd0c831f347068c0	1	https://github.com/friguzzi/cplint.git
	1b09cce5615e05572f7fd33ce7e9718623cb51d7	1	https://github.com/friguzzi/cplint.git
	3503b1020100a662bd39881d0058291248f924b4	1	https://github.com/friguzzi/cplint.git
	c34d74aa57cd81ae1c50297ea4eed9f80f212ce1	1	https://github.com/friguzzi/cplint.git
	7ca54375c7004d1124c4575d4d632ed79e46f874	2	https://github.com/friguzzi/cplint.git
	a190284e218eb9490788265b579d9b4240b1fbd9	1	https://github.com/friguzzi/cplint.git
	6cfa22d46103335b83058a86a25d717c50d64df3	1	https://github.com/friguzzi/cplint.git
	db77bee6cc0ce4e9c050f5d3c6247d9086b8946d	1	https://github.com/friguzzi/cplint.git
	5b20d50506899dfb6b227105d9cdaeccfc4e8361	1	https://github.com/friguzzi/cplint.git
	130370cb2c805be5e9b71dd9dcd17ebd62812eb2	1	https://github.com/friguzzi/cplint.git
1.0	09b684266e81869d6d87b54653b0d906aa819bea	1	https://github.com/friguzzi/cplint.git
	53d9487dad682763e0ef2306b6ee5188699e107f	1	https://github.com/friguzzi/cplint.git
	5ac9dcb36faa1ea5815c78b613e0d44e256fffdd	1	https://github.com/friguzzi/cplint.git
	9539053b113893da18d9b21c81f0b853b9163234	1	https://github.com/friguzzi/cplint.git
	0b2ec92d3b58cb67b856b6639afe6efa3acf1124	1	git://github.com/friguzzi/cplint.git
	966d626066a01cecc115ed55b3ce431e42652c26	1	git://github.com/friguzzi/cplint.git
	5451060620fc08d0df4a3093474fcb60902f67b3	1	git://github.com/friguzzi/cplint.git
	599cabbc59f35d9517eb7a1af179ca43621179c6	2	git://github.com/friguzzi/cplint.git
			https://github.com/friguzzi/cplint.git
	a510f76afb73fdd127c8e825209343659ed1d07d	1	git://github.com/friguzzi/cplint.git
	6642a619e4abb0e4e1e73280325f029104adedd0	1	https://github.com/friguzzi/cplint.git
	9948a49cd3c33cb308f17a9c73e6ae61cdb57d8a	1	https://github.com/friguzzi/cplint.git
	96561bdb853864891bf688c5f80904387fbc8bd7	1	https://github.com/friguzzi/cplint.git

cplint

cplint is a suite of programs for reasoning with probabilistic logic programs. It contains programs for both inference and learning.

You can find the manual at http://friguzzi.github.io/cplint/.

You can try it online at http://cplint.eu.

Installation

This is an SWI-Prolog pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(cplint).

Requirements

It requires the packs

bddem https://github.com/friguzzi/bddem
auc https://github.com/friguzzi/auc
matrix https://github.com/friguzzi/matrix They are installed automatically when installing pack cplint or can installed manually as
$ swipl ?- pack_install(bddem). ?- pack_install(auc). ?- pack_install(matrix).

bddem uses a foreign library and contains the library binaries for 32 and 64 bits Linux, MacOs and 64 bits Windows. If you want to recompile the foreign library you can use

?- pack_rebuild(bddem).

On 32 and 64 bits Linux this should work out of the box. On 64 bits Windows the library must be rebuilt by hand, see the pack page https://github.com/friguzzi/bddem.

You can upgrade the pack with

$ swipl
?- pack_upgrade(cplint).

Note that the packs on which cplint depends are not upgraded automatically in this case so they need to be upgraded manually.

Example of use

$ cd <pack>/cplint/prolog/examples
$ swipl
?- [coin].
?- prob(heads(coin),P).

Testing the installation

$ swipl
?- [library(cplint_test/test)].
?- test.

Datasets

Other machine learning datasets are available in pack cplint_datasets.

Support

Use the Google group https://groups.google.com/forum/#!forum/cplint.

Contents of pack "cplint"

Pack contains 337 files holding a total of 5.3M bytes.

.gitignore(232 bytes)
.nojekyll(1 bytes)
LICENSE(8.7K bytes)
README.md(2.1K bytes)
_config.yml(37 bytes)
docs
- .nojekyll(1 bytes)
- Makefile(638 bytes)
- _build
  - doctrees
    - environment.pickle(80.2K bytes)
    - index.doctree(480K bytes)
    - predicate_list.doctree(26.8K bytes)
  - html
    - .buildinfo(230 bytes)
    - _sources
      - index.rst.txt(92.4K bytes)
      - predicate_list.rst.txt(2.1K bytes)
    - _static
      - ajax-loader.gif(673 bytes)
      - alabaster.css(9.3K bytes)
      - basic.css(14.3K bytes)
      - classic.css(4.4K bytes)
      - comment-bright.png(756 bytes)
      - comment-close.png(829 bytes)
      - comment.png(641 bytes)
      - custom.css(42 bytes)
      - dialog-note.png(1.4K bytes)
      - dialog-seealso.png(1.3K bytes)
      - dialog-todo.png(1.2K bytes)
      - dialog-topic.png(1.8K bytes)
      - dialog-warning.png(1.2K bytes)
      - doctools.js(9.4K bytes)
      - documentation_options.js(353 bytes)
      - down-pressed.png(222 bytes)
      - down.png(202 bytes)
      - epub.css(5.5K bytes)
      - favicon.ico(16.6K bytes)
      - file.png(286 bytes)
      - footerbg.png(333 bytes)
      - headerbg.png(190 bytes)
      - ie6.css(726 bytes)
      - jquery-3.2.1.js(262K bytes)
      - jquery.js(87.4K bytes)
      - language_data.js(10.6K bytes)
      - middlebg.png(101 bytes)
      - minus.png(90 bytes)
      - plus.png(90 bytes)
      - pygments.css(4.7K bytes)
      - pyramid.css(6.2K bytes)
      - searchtools.js(16.3K bytes)
      - sidebar.js(4.7K bytes)
      - transparent.gif(49 bytes)
      - underscore-1.3.1.js(34.3K bytes)
      - underscore.js(19.1K bytes)
      - up-pressed.png(214 bytes)
      - up.png(203 bytes)
      - websupport.js(24.8K bytes)
    - genindex.html(2.3K bytes)
    - index.html(309K bytes)
    - objects.inv(1.1K bytes)
    - predicate_list.html(11.3K bytes)
    - search.html(3.1K bytes)
    - searchindex.js(14.0K bytes)
  - latex
    - LICRcyr2utf8.xdy(4.3K bytes)
    - LICRlatin2utf8.xdy(9.9K bytes)
    - LatinRules.xdy(18.3K bytes)
    - Makefile(1.5K bytes)
    - cplint.idx(0 bytes)
    - cplint.ilg(293 bytes)
    - cplint.ind(0 bytes)
    - cplint.pdf(349K bytes)
    - cplint.tex(206K bytes)
    - footnotehyper-sphinx.sty(8.7K bytes)
    - latexmkjarc(684 bytes)
    - latexmkrc(405 bytes)
    - make.bat(473 bytes)
    - python.ist(392 bytes)
    - sphinx.sty(13.0K bytes)
    - sphinx.xdy(9.3K bytes)
    - sphinxhighlight.sty(6.5K bytes)
    - sphinxhowto.cls(3.2K bytes)
    - sphinxmanual.cls(4.1K bytes)
    - sphinxmulticell.sty(14.3K bytes)
- _static
  - favicon.ico(16.6K bytes)
- conf.py(5.2K bytes)
- gen_pldoc.pl(713 bytes)
- how_to_build.txt(1.9K bytes)
- index.html(115 bytes)
- index.rst(92.4K bytes)
- make.bat(810 bytes)
- newbib.bib(16.1K bytes)
- old_docs
  - __latexindent_temp.tex(279 bytes)
  - acm-sigchi-proceedings.csl(5.8K bytes)
  - bib.bib(64.1K bytes)
  - graphics.tex(6.2K bytes)
  - help-cplint.html(106K bytes)
  - help-cplint.pdf(230K bytes)
  - help-cplint.tex(2.9K bytes)
  - inf_goals.tex(26.9K bytes)
  - inference.tex(3.0K bytes)
  - learning.tex(24.2K bytes)
  - learning_par.tex(5.6K bytes)
  - manual.html(108K bytes)
  - manual.pdf(234K bytes)
  - manual.tex(4.4K bytes)
  - parameters.tex(3.7K bytes)
  - predicate_list.rst.tmp(2.1K bytes)
  - semantics.tex(1.5K bytes)
  - syntax.tex(14.3K bytes)
  - tabling.tex(1.2K bytes)
- pldoc
  - cplint_util.html(14.2K bytes)
  - h1-bg.png(752 bytes)
  - h2-bg.png(673 bytes)
  - highlight.html(551 bytes)
  - kbest.html(1.8K bytes)
  - lemur.html(40.0K bytes)
  - mcintyre.html(56.2K bytes)
  - multi-bg.png(508 bytes)
  - pita.html(45.6K bytes)
  - pitaind.html(7.9K bytes)
  - pldoc.css(9.3K bytes)
  - priv-bg.png(770 bytes)
  - pub-bg.png(673 bytes)
  - slipcover.html(38.6K bytes)
  - viterbi.html(1.3K bytes)
- static
  - favicon.ico(16.6K bytes)
pack.pl(279 bytes)
prolog
- cplint_test
  - cplint_test.pl(793 bytes)
  - test.pl(936 bytes, not a module)
  - test_cplint_util.pl(2.9K bytes)
  - test_kbest.pl(3.1K bytes)
  - test_lemur.pl(2.6K bytes)
  - test_mc.pl(16.4K bytes)
  - test_pita.pl(17.6K bytes)
  - test_pitaind.pl(1.7K bytes)
  - test_sc.pl(9.5K bytes)
  - test_viterbi.pl(2.2K bytes)
- cplint_util.pl(18.5K bytes)
- examples
  - abd1.pl(431 bytes, not a module)
  - abd1cons1.pl(440 bytes, not a module)
  - abd1cons2.pl(444 bytes, not a module)
  - abd2.pl(464 bytes, not a module)
  - abd3.pl(464 bytes, not a module)
  - abd_graph.pl(2.1K bytes, not a module)
  - alarm.cpl(1.1K bytes)
  - alarm.pl(1.5K bytes, not a module)
  - arithm.pl(4.1K bytes, not a module)
  - bag_1.pl(527 bytes, not a module)
  - bag_2.pl(439 bytes, not a module)
  - bag_game.pl(414 bytes, not a module)
  - bag_game_mpe.pl(670 bytes, not a module)
  - bag_game_vit.pl(530 bytes, not a module)
  - bag_mpe.pl(808 bytes, not a module)
  - bag_pb_mpe.pl(640 bytes, not a module)
  - bag_simple.pl(472 bytes, not a module)
  - binomial.pl(257 bytes, not a module)
  - binomial_user.pl(603 bytes, not a module)
  - bitcoin_attack.pl(1.1K bytes, not a module)
  - bitcoin_two_phase.pl(3.3K bytes, not a module)
  - bloodtype.cpl(6.8K bytes)
  - bloodtype.pl(7.5K bytes, not a module)
  - bloodtype_indexc.pl(7.5K bytes, not a module)
  - bn.pl(552 bytes, not a module)
  - card.pl(265 bytes, not a module)
  - card_body.pl(279 bytes, not a module)
  - card_disc.pl(336 bytes, not a module)
  - card_disc_body.pl(350 bytes, not a module)
  - coin.cpl(954 bytes)
  - coin.pl(2.2K bytes, not a module)
  - coin2.cpl(1.2K bytes)
  - coin2.pl(1.8K bytes, not a module)
  - coin_mpe.pl(2.2K bytes, not a module)
  - coin_vit.pl(1.1K bytes, not a module)
  - coinmc.pl(2.4K bytes, not a module)
  - coinmsw.pl(1.2K bytes, not a module)
  - coinmsw_mc.pl(1.2K bytes, not a module)
  - coinmsw_mc_memo.pl(1.2K bytes, not a module)
  - coinmsw_memo.pl(1.2K bytes, not a module)
  - cora.cpl(46.7K bytes)
  - cora.pl(47.0K bytes, not a module)
  - diabetes.pl(813 bytes, not a module)
  - dice.cpl(1.1K bytes)
  - dice.pl(2.5K bytes, not a module)
  - dirichlet_process.pl(3.7K bytes, not a module)
  - dp_chinese.pl(3.0K bytes, not a module)
  - dp_mix.pl(2.4K bytes, not a module)
  - dt_rock_paper_scissors.pl(569 bytes, not a module)
  - dt_umbrella.pl(523 bytes, not a module)
  - dt_viral.pl(1.5K bytes, not a module)
  - dt_viral_probs.pl(1.3K bytes, not a module)
  - dt_weather.pl(887 bytes, not a module)
  - dt_winning.pl(528 bytes, not a module)
  - earthquake.cpl(1.6K bytes)
  - earthquake.pl(2.4K bytes, not a module)
  - epidemic.cpl(785 bytes)
  - epidemic.pl(1.4K bytes, not a module)
  - eruption.cpl(1.3K bytes)
  - eruption.pl(1.6K bytes, not a module)
  - eruption_abduction.pl(661 bytes, not a module)
  - eruption_map.pl(676 bytes, not a module)
  - eruption_mpe.pl(1.1K bytes, not a module)
  - eruption_tab.pl(1.6K bytes, not a module)
  - eruption_vit.pl(1.6K bytes, not a module)
  - event_calculus.pl(749 bytes, not a module)
  - ex.cpl(101 bytes)
  - exapprox.cpl(178 bytes)
  - exist.cpl(280 bytes)
  - exist1.cpl(285 bytes)
  - exrange.cpl(231 bytes)
  - figaro_611.pl(623 bytes, not a module)
  - flexprob.pl(536 bytes, not a module)
  - fruit.pl(722 bytes, not a module)
  - gauss_mean_est.pl(2.5K bytes, not a module)
  - gauss_mean_est_user.pl(2.8K bytes, not a module)
  - gaussian_mixture.pl(3.9K bytes, not a module)
  - gaussian_process.pl(2.1K bytes, not a module)
  - gm_dc.pl(3.8K bytes, not a module)
  - gpl.pl(3.5K bytes, not a module)
  - gpr.pl(7.0K bytes, not a module)
  - h_index.pl(2.0K bytes, not a module)
  - hmm.cpl(1.9K bytes)
  - hmm.pl(4.0K bytes, not a module)
  - hmm_mpe.pl(3.9K bytes, not a module)
  - hmm_vit.pl(3.8K bytes, not a module)
  - hmmpos.pl(3.1K bytes, not a module)
  - hmmpos2.pl(10.8K bytes, not a module)
  - indian_gpa.pl(2.8K bytes, not a module)
  - indian_gpadc.pl(1.6K bytes, not a module)
  - iris.pl(13.7K bytes, not a module)
  - iris_c3.pl(11.8K bytes, not a module)
  - jail.cpl(2.2K bytes)
  - jail.pl(3.3K bytes, not a module)
  - kalman_filter.pl(7.7K bytes, not a module)
  - kalman_filter2d.pl(9.3K bytes, not a module)
  - kalman_filtermsw.pl(2.6K bytes, not a module)
  - kbest_coin.pl(1.2K bytes, not a module)
  - kbest_hmm.pl(3.8K bytes, not a module)
  - kbest_mendel.pl(2.6K bytes, not a module)
  - kbest_win.pl(919 bytes, not a module)
  - lda.pl(2.0K bytes, not a module)
  - learning
    - bongard.pl(58.4K bytes, not a module)
    - bongard_fixed.pl(58.3K bytes, not a module)
    - bongard_ind.pl(58.3K bytes, not a module)
    - bongard_initial.pl(58.3K bytes, not a module)
    - bongardkeys.pl(57.2K bytes, not a module)
    - exauc.pl(459 bytes, not a module)
    - hmmlearn.pl(27.7K bytes, not a module)
    - mach_all.pl(3.2K bytes, not a module)
    - mach_fix.pl(3.7K bytes, not a module)
    - mach_par.pl(3.8K bytes, not a module)
    - mach_sendback.pl(3.7K bytes, not a module)
    - multiple_paths_learning.pl(592 bytes, not a module)
    - multiple_paths_simple_learning.pl(619 bytes, not a module)
    - muta.pl(463K bytes, not a module)
    - registration.pl(3.6K bytes, not a module)
    - shop.pl(70.4K bytes, not a module)
    - trains.pl(6.3K bytes, not a module)
    - university.pl(91.6K bytes, not a module)
  - lemur
    - bongard.pl(58.1K bytes, not a module)
    - bongardkeys.pl(56.9K bytes, not a module)
    - mach.pl(4.0K bytes, not a module)
    - registration.pl(3.5K bytes, not a module)
  - light.cpl(629 bytes)
  - light.pl(1015 bytes, not a module)
  - markov_chain.pl(2.2K bytes, not a module)
  - markov_chaindb.pl(1.6K bytes, not a module)
  - markov_factor.pl(346 bytes, not a module)
  - markov_network.pl(1.8K bytes, not a module)
  - mendel.cpl(2.2K bytes)
  - mendel.pl(3.6K bytes, not a module)
  - mendel_indexc.pl(3.2K bytes, not a module)
  - mendel_mpe.pl(3.6K bytes, not a module)
  - mendel_vit.pl(2.1K bytes, not a module)
  - mendelc.cpl(2.3K bytes)
  - mendelc.pl(3.3K bytes, not a module)
  - mendels.cpl(460 bytes)
  - meta.cpl(183 bytes)
  - meta.pl(376 bytes, not a module)
  - metacomb.pl(764 bytes, not a module)
  - metamc.pl(414 bytes, not a module)
  - mln.pl(1.1K bytes, not a module)
  - monty.cpl(2.4K bytes)
  - monty.pl(2.9K bytes, not a module)
  - monty_simple.pl(1.5K bytes, not a module)
  - multinomial.pl(294 bytes, not a module)
  - multiple_paths.pl(410 bytes, not a module)
  - multiple_paths_simple.pl(384 bytes, not a module)
  - mvg.pl(791 bytes, not a module)
  - nballs.pl(1.5K bytes, not a module)
  - nballsdc.pl(2.6K bytes, not a module)
  - path.cpl(967 bytes)
  - path.pl(1.8K bytes, not a module)
  - pathdb.pl(1.8K bytes, not a module)
  - pcfg.cpl(1.3K bytes)
  - pcfg.pl(1.6K bytes, not a module)
  - pcfglr.pl(2.1K bytes, not a module)
  - pcfglrdb.pl(1.8K bytes, not a module)
  - pctl_slep.pl(11.4K bytes, not a module)
  - persons.pl(1.2K bytes, not a module)
  - plcg.pl(2.2K bytes, not a module)
  - pre_plcg.pl(2.0K bytes, not a module)
  - prefix.pl(1.9K bytes, not a module)
  - rmc.pl(3.2K bytes, not a module)
  - seven_scientists.pl(4.0K bytes, not a module)
  - ship.pl(372 bytes, not a module)
  - simpson.pl(796 bytes, not a module)
  - simpsonmc.pl(800 bytes, not a module)
  - slp_pcfg.pl(1.3K bytes, not a module)
  - slp_pdcg.pl(6.4K bytes, not a module)
  - sneezing.cpl(1.1K bytes)
  - sneezing.pl(1.5K bytes, not a module)
  - testdb.pl(348 bytes, not a module)
  - threesideddice.cpl(1.3K bytes)
  - threesideddice.pl(2.4K bytes, not a module)
  - threesideddicemc.pl(2.4K bytes, not a module)
  - throws.cpl(363 bytes)
  - trigger.cpl(797 bytes)
  - trigger.pl(1.0K bytes, not a module)
  - truel.pl(4.0K bytes, not a module)
  - twosideddice.cpl(254 bytes)
  - uwcse.cpl(6.6K bytes)
  - uwcse3s.pl(7.1K bytes, not a module)
  - uwcse4s.pl(7.1K bytes, not a module)
  - uwcse_indind.pl(743 bytes, not a module)
  - uwcse_indinds.pl(747 bytes, not a module)
  - uwcse_inf.pl(7.1K bytes, not a module)
  - uwcsemc.pl(7.1K bytes, not a module)
  - var_obj.pl(1.8K bytes, not a module)
  - var_obj_geom.pl(1.8K bytes, not a module)
  - var_objdb.pl(1.1K bytes, not a module)
  - viral.pl(556 bytes, not a module)
  - viralmc.pl(489 bytes, not a module)
  - widget.pl(4.6K bytes, not a module)
  - widgetmsw.pl(1.8K bytes, not a module)
- highlight.pl(4.2K bytescplint_highligh)
- kbest.pl(24.5K bytes)
- lemur.pl(30.9K bytes)
- mcintyre.pl(97.3K bytes)
- pita.pl(57.4K bytes)
- pitaind.pl(35.6K bytes)
- slipcover.pl(107K bytes)
- viterbi.pl(13.8K bytes)