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.

Vitor Santos Costa b1c2fbd6bb iKeri patch

2013-11-13 13:24:37 +00:00

..

archive @ 9e22ca88f2

distributed commit

2013-11-04 01:18:43 +00:00

bdd

distributed configure

2013-11-03 23:55:09 +00:00

chr @ fe49dc72a0

updates

2013-11-04 01:34:31 +00:00

clib @ 7012c230ce

BSD and __WINDOWS__

2013-11-04 15:30:34 +00:00

CLPBN

Attached is a small patch to respect any LDFLAGS when building

2013-11-10 11:22:54 +00:00

clpqr @ 23a8bc68df

update to newer releases.

2012-08-01 19:48:29 +01:00

cplint

separate cplint and mpi interface.

2013-11-04 13:16:14 +00:00

cuda

fix missing return

2013-11-04 21:41:26 +00:00

gecode

configuration for gecode

2013-11-04 10:00:32 +00:00

http @ 3ea73d3b1d

update

2013-11-11 12:32:03 +00:00

jpl @ f96cfb7533

iKeri patch

2013-11-13 13:24:37 +00:00

meld

fix example path in meld.

2012-07-06 18:58:35 -05:00

odbc @ db1645c121

updates

2013-11-04 01:39:20 +00:00

pldoc @ 1e324d30b9

integration work:

2013-11-13 10:38:20 +00:00

plunit @ 0593a65587

update

2013-11-11 11:47:15 +00:00

prism

thread fixes

2013-04-07 00:00:41 +01:00

ProbLog

fix \%

2013-11-08 23:48:57 +00:00

pyswip

python interface as a separate package

2012-11-02 22:37:27 +00:00

python

win

2013-11-11 10:35:50 +00:00

R @ 87ea72e5db

fix Makefile trouble

2012-10-23 09:06:38 +01:00

RDF @ 5b577c8414

update

2013-11-11 11:47:04 +00:00

real @ 9ff05eaf6a

mac and win support

2013-11-11 11:42:57 +00:00

semweb @ 2505370b84

update

2013-11-11 12:30:32 +00:00

sgml @ 22db6b08d5

update

2013-11-11 12:31:11 +00:00

swi-minisat2

allow installing examples by defult.

2012-07-07 09:43:07 -05:00

udi @ 13ae724d30

Added uthash to store indexed predicates info

2012-12-27 12:11:14 +00:00

xml

allow installing examples by defult.

2012-07-07 09:43:07 -05:00

yap-lbfgs

make safe for overflow

2013-10-08 13:05:08 +01:00

zlib @ 044e8b33bf

distributed commit

2013-11-04 01:18:43 +00:00

Dialect.defs.in

improve search in boot

2013-11-11 10:34:55 +00:00

Makefile.defs.in

better SWI support.

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