Show
Ignore:
Timestamp:
08/10/08 08:22:01 (3 months ago)
Author:
pmoura
Message:

Updated the SWI-Prolog and YAP constraint examples with the help of Markus Triska.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/RELEASE_NOTES.txt

    r4417 r4418  
    2828    Added a new set of examples, "constraints", illustrating how to use the  
    2929    Constraint Domain Solver libraries available with B-Prolog, GNU Prolog,  
    30     SWI-Prolog, and YAP. 
     30    SWI-Prolog, and YAP. Thanks to Markus Triska for his help with the CLP(FD) 
     31    examples for SWI-Prolog and YAP. 
    3132 
    3233