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.

U-vsc-PC\vsc 953befcb7d win

2013-11-11 10:35:50 +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 @ c62502891b

update to newer releases.

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

jpl @ 1743351432

win stuff

2013-11-11 10:27:04 +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

fix compilation issues & up-to-date to recente SWI.

2013-02-17 07:32:55 -06:00

plunit @ 0bac35ec25

update to newer releases.

2012-08-01 19:48:29 +01: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 @ 9995994768

update swi.

2013-01-28 09:31:06 +00:00

real @ 3dc65d5502

fix in DESTDIR

2013-11-04 07:26:16 +00:00

semweb @ 3ed10e016d

merge

2013-03-10 17:17:58 +00:00

sgml @ 18647f78aa

fix compilation issues & up-to-date to recente SWI.

2013-02-17 07:32:55 -06: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