Subject: CVS commit: pkgsrc/lang/yap
From: Aleksej Saushev
Date: 2013-06-12 22:28:42
Message id: 20130612202842.0D0A296@cvs.netbsd.org

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.

Files:
RevisionActionfile
1.15modifypkgsrc/lang/yap/Makefile
1.11modifypkgsrc/lang/yap/PLIST
1.15modifypkgsrc/lang/yap/distinfo
1.2modifypkgsrc/lang/yap/patches/patch-ae
1.4modifypkgsrc/lang/yap/patches/patch-aj
1.1removepkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_Solver.C
1.1removepkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_SolverTypes.h