pkgsrc-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/lang/yap



Module Name:    pkgsrc
Committed By:   asau
Date:           Wed Jun 12 20:28:42 UTC 2013

Modified Files:
        pkgsrc/lang/yap: Makefile PLIST distinfo
        pkgsrc/lang/yap/patches: patch-ae patch-aj
Removed Files:
        pkgsrc/lang/yap/patches: patch-packages_swi-minisat2_C_Solver.C
            patch-packages_swi-minisat2_C_SolverTypes.h

Log Message:
Update to YAP 6.3.3

Notable changes in YAP 6.3.3

- exo compilation, a way to store large DBs much more compactly
- a new way to do save/restore
- improvements on the SWI interface, including improved support
  of SWI packages. The core IO code has been updated to the latest SWI devel.
- interfaces Prolog->R (r..eal from Nicos and all) and YAP->Python
- PRiSM port
- PFL, a new language to write graphical models, by Tiago Gomes
- gobs of bug fixes.

Notable changes in YAP 6.3.2

- new tabling code that supports a global table and answer subsumption
- an interface to gecode
- a low-level interface to R
- a low-level interface to CUDD and also to c2d
- a PRISM interface

- the gprof interface works again, it has been rewritten to save the log as a 
file.
- the save/restore now can save a module only, and does not depend on memory 
tricks.
- there is a first (needs lots of work) Windows console (based on SWI code).

- Lots of bug fixes

Notable changes in YAP 6.3

- YAP now uses the SWI Input/Output routines.
  This includes the SWI streams handling code,
  and the SWI write routines.
- YAP also includes support to the pldoc and plunit libraries.
- New implementation of saved state routines allows saving modules.
- GECODE interface.


To generate a diff of this commit:
cvs rdiff -u -r1.14 -r1.15 pkgsrc/lang/yap/Makefile pkgsrc/lang/yap/distinfo
cvs rdiff -u -r1.10 -r1.11 pkgsrc/lang/yap/PLIST
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/yap/patches/patch-ae
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/yap/patches/patch-aj
cvs rdiff -u -r1.1 -r0 \
    pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_Solver.C \
    pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_SolverTypes.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.




Home | Main Index | Thread Index | Old Index