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.

Vítor Santos Costa 8a0c614214 Needs error library

2010-08-03 21:10:09 +01:00

..

chr @ 2dad0025b6

iupdate pacjages

2010-06-21 11:55:57 +01:00

clib

Needs error library

2010-08-03 21:10:09 +01:00

CLPBN

make clp(bn) work again.

2010-06-30 17:54:58 +02:00

clpqr @ 11cbb29604

fix make check to use $srcdir

2010-08-03 12:59:27 +01:00

cplint

fixed compilation of simplecuddLPADs under windows

2010-07-30 12:36:13 +02:00

http

remove debugging information

2010-07-21 11:12:15 +01:00

jpl @ f11e3d4368

fix make check to use $srcdir

2010-08-03 12:59:27 +01:00

PLStream

expoprt predicates in ctypes

2010-08-03 21:06:33 +01:00

plunit

fix messed up Makefile conventions

2010-06-04 22:59:31 +01:00

ProbLog

the sage of configuring everything goes on!

2010-06-21 11:54:21 +01:00

pyswip

pyswip was using old SWI function.

2010-06-30 17:53:26 +02:00

RDF

pretty print should run in SWI mode.

2010-07-28 23:26:04 +01:00

semweb

support for space reservation (goal: call gc before trying to insert very large terms).

2010-08-02 13:04:30 +01:00

sgml

fix make check to use $srcdir

2010-08-03 12:59:27 +01:00

swi-minisat2

the sage of configuring everything goes on!

2010-06-21 11:54:21 +01:00

tai

NetBSD compilation

2010-08-02 22:41:32 +01:00

udi

updates to UDI package

2009-04-02 17:34:42 +01:00

zlib

fix make check to use $srcdir

2010-08-03 12:59:27 +01:00