This website requires JavaScript.
Explore
Help
Sign In
diogo
/
yap-6.3
Archived
Watch
1
Star
0
Fork
0
You've already forked yap-6.3
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
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.
14b1f65e35
yap-6.3
/
packages
History
Vítor Santos Costa II
1a4c414831
meta-expansion should be done before calling goal_expansion :(
2010-04-20 23:14:15 +01:00
..
chr
@
91ad6583a1
upgrade to cuurent chr
2010-03-15 14:20:41 +00:00
CLPBN
installation patches from Keri Harris
2010-03-05 08:15:02 +00:00
clpqr
@
dc903cf885
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
cplint
removed debug printf, changed module tptree name
2010-03-21 11:49:19 +01:00
jpl
@
9efaf4ce70
meta-expansion should be done before calling goal_expansion :(
2010-04-20 23:14:15 +01:00
PLStream
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
plunit
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
ProbLog
fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi).
2010-04-05 12:20:59 +01:00
sgml
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
swi-minisat2
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
udi
updates to UDI package
2009-04-02 17:34:42 +01:00