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 8461026303 fixes for win64 compilation.

2014-09-16 19:15:56 +01:00

..

archive @ 6e84f300b5

improve docs

2014-09-15 03:13:50 -05:00

bdd

updates to documentation

2014-09-12 18:50:04 -05:00

chr @ 7b59e06eca

doxygen support

2014-09-15 13:07:53 -05:00

clib @ 3d7af0e671

more doc udates

2014-09-15 13:10:49 -05:00

CLPBN

fixes for win64 compilation.

2014-09-16 19:15:56 +01:00

clpqr @ f086a96d77

improve docs

2014-09-15 03:13:50 -05:00

cplint

psckage compilation stuff.

2014-05-04 23:15:39 +01:00

cuda

fix typo.

2014-05-04 22:32:41 +01:00

gecode

more doxygen fixes

2014-09-15 14:57:46 -05:00

http @ 373c30a0e8

improve docs

2014-09-15 03:13:50 -05:00

jpl @ d8add7b7d1

use stdbool

2014-09-09 09:25:33 -05:00

meld

syntax errors

2014-08-06 10:26:03 -05:00

myddas

improve docs

2014-09-15 03:13:50 -05:00

odbc @ b6617b8ab4

use stdbool

2014-09-09 09:27:29 -05:00

plunit @ c70811ad67

improve docs

2014-09-15 03:13:50 -05:00

prism

fix arena initialization

2014-08-23 14:47:40 -05:00

ProbLog

improve docs

2014-09-15 03:13:50 -05:00

prosqlite

improve docs

2014-09-15 03:13:50 -05:00

pyswip

syntax errors

2014-08-06 10:26:03 -05:00

python

enable analysis.

2014-08-20 07:56:33 -05:00

R @ 87bb48410a

big makefile cleanup

2014-02-13 01:58:48 +00:00

raptor @ 1ebbe20a42

doxygen support

2014-09-15 13:09:48 -05:00

RDF @ f19e64df26

big makefile cleanup

2014-02-13 01:58:48 +00:00

real @ 86b82220ec

fixes for win64 compilation.

2014-09-16 19:15:56 +01:00

semweb @ f1f1b98773

missing library calls

2014-09-09 09:37:20 -05:00

sgml @ 77cd95d93e

missing library calls

2014-09-09 09:38:10 -05:00

swi-minisat2

fix arena initialization

2014-08-23 14:47:40 -05:00

swig

intermediate steo in improving doc system to doxygeb

2014-07-26 19:14:15 -05:00

udi @ 9becd0f061

more configuration fixes

2014-02-15 01:24:07 +00:00

xml

update docs

2014-09-11 14:06:57 -05:00

yap-lbfgs

improve docs

2014-09-15 03:13:50 -05:00

zlib @ 63368e2b9f

improve docs

2014-09-15 03:13:50 -05:00

Dialect.defs.in

C++ flags

2014-05-06 09:55:40 +01:00

Makefile.defs.in

latex to html translator port from SWi.

2013-11-18 01:21:21 +00:00