--- - branch: MAIN date: Wed Jun 12 20:28:42 UTC 2013 files: - new: '1.15' old: '1.14' path: pkgsrc/lang/yap/Makefile pathrev: pkgsrc/lang/yap/Makefile@1.15 type: modified - new: '1.15' old: '1.14' path: pkgsrc/lang/yap/distinfo pathrev: pkgsrc/lang/yap/distinfo@1.15 type: modified - new: '1.11' old: '1.10' path: pkgsrc/lang/yap/PLIST pathrev: pkgsrc/lang/yap/PLIST@1.11 type: modified - new: '1.2' old: '1.1' path: pkgsrc/lang/yap/patches/patch-ae pathrev: pkgsrc/lang/yap/patches/patch-ae@1.2 type: modified - new: '1.4' old: '1.3' path: pkgsrc/lang/yap/patches/patch-aj pathrev: pkgsrc/lang/yap/patches/patch-aj@1.4 type: modified - new: '0' old: '1.1' path: pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_Solver.C pathrev: pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_Solver.C@0 type: deleted - new: '0' old: '1.1' path: pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_SolverTypes.h pathrev: pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_SolverTypes.h@0 type: deleted id: 20130612T202842Z.ff80378021f403f85a4017c82920c3881b18a12f log: | 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. module: pkgsrc subject: 'CVS commit: pkgsrc/lang/yap' unixtime: '1371068922' user: asau