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.
yap-6.3/packages
Vítor Santos Costa 6b93b8ee5a config fixes
2014-10-26 18:47:15 +00:00
..
archive@3f3e7d7798 try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
bdd try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
chr@630f75cd5e config libs vs ldflags, CPP VS C 2014-10-26 01:52:02 +01:00
clib@55f1b0d765 try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
CLPBN allow setting up arithmetic exception handling. 2014-10-19 11:27:53 +01:00
clpqr@39a11c2d87 config libs vs ldflags, CPP VS C 2014-10-26 01:52:02 +01:00
cplint try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
cuda try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
gecode improve autoconf 2014-10-25 16:46:13 +01:00
http@373c30a0e8 improve docs 2014-09-15 03:13:50 -05:00
jpl@9b72782784 fixes in javadoc 2014-10-03 16:56:23 +01:00
meld syntax errors 2014-08-06 10:26:03 -05:00
myddas improve autoconf 2014-10-25 16:46:13 +01:00
odbc@1dc73e1627 config libs vs ldflags, CPP VS C 2014-10-26 01:52:02 +01: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 try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
prosqlite improve autoconf 2014-10-25 16:46:13 +01: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@e75f61fe11 config libs vs ldflags, CPP VS C 2014-10-26 01:52:02 +01:00
RDF@f19e64df26 big makefile cleanup 2014-02-13 01:58:48 +00:00
real@e535195eee config matters 2014-10-25 16:52:51 +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 more C++/Android fixes 2014-09-19 14:20:22 -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@e6cdb888a6 config fixes 2014-10-26 18:47:15 +00:00
Dialect.defs.in improve autoconf 2014-10-25 16:46:13 +01:00
Makefile.defs.in latex to html translator port from SWi. 2013-11-18 01:21:21 +00:00