Now
MAIN commitmail json YAML
pkgsrc/lang/yap/Makefile@1.15
/
diff
pkgsrc/lang/yap/PLIST@1.11 / diff
pkgsrc/lang/yap/distinfo@1.15 / diff
pkgsrc/lang/yap/patches/patch-ae@1.2 / diff
pkgsrc/lang/yap/patches/patch-aj@1.4 / diff
pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_Solver.C deleted
pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_SolverTypes.h deleted
pkgsrc/lang/yap/PLIST@1.11 / diff
pkgsrc/lang/yap/distinfo@1.15 / diff
pkgsrc/lang/yap/patches/patch-ae@1.2 / diff
pkgsrc/lang/yap/patches/patch-aj@1.4 / diff
pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_Solver.C deleted
pkgsrc/lang/yap/patches/patch-packages_swi-minisat2_C_SolverTypes.h deleted
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.
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.