This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Tiago Gomes 085ebe1e96 check for overflows when performing expansion ...

case the factor size after expansion be bigger than an unsigned integer, abort the program

2012-04-20 17:16:10 +01:00

..

bdd

iextend bdd support.

2012-04-03 15:00:22 +01:00

chr @ 118e4bf761

update packages.

2012-02-13 09:43:50 +00:00

clib @ b02a142e12

new versions of packages.

2012-03-27 14:59:22 +01:00

CLPBN

check for overflows when performing expansion

2012-04-20 17:16:10 +01:00

clpqr @ 8ff7165c8e

new versions of packages.

2012-03-27 14:59:22 +01:00

cplint

no copy of learning algorithms subdirectories

2011-10-31 14:26:18 +01:00

http @ c51532c21e

update packages.

2012-02-13 09:43:50 +00:00

jpl @ 5857584a3e

updates to packages.

2012-02-17 11:31:55 +00:00

meld

include XMLPL package.

2012-02-14 12:41:12 +00:00

pldoc @ 86df5458bd

new versions of packages.

2012-03-27 14:59:22 +01:00

plunit @ 53524e5025

new versions of packages.

2012-03-27 14:59:22 +01:00

prism

:make sure we get rid of YapR

2012-02-01 08:58:20 +00:00

ProbLog

Latest ProbLog

2012-01-11 14:44:59 +00:00

pyswip

mode changes

2011-07-25 17:09:28 +01:00

R @ 8fced60cfb

update packages.

2012-02-13 09:43:50 +00:00

RDF @ 2d0bbe41cd

update packages.

2012-02-13 09:43:50 +00:00

real @ 6d095c8859

new versions of packages.

2012-03-27 14:59:22 +01:00

semweb @ 3017f26ce0

new versions of packages.

2012-03-27 14:59:22 +01:00

sgml @ 5cf4dd8541

update packages.

2012-02-13 09:43:50 +00:00

swi-minisat2

fix Makefile.in for minisat.

2011-09-06 21:18:30 +02:00

udi

fix bug.

2011-11-03 07:53:21 +09:00

xml

include XMLPL package.

2012-02-14 12:41:12 +00:00

zlib @ 7c2e517419

new versions of packages.

2012-03-27 14:59:22 +01:00

Dialect.defs.in

better SWI support.

2012-02-13 09:41:22 +00:00

Makefile.defs.in

better SWI support.

2012-02-13 09:41:22 +00:00