[m-dev.] cvs diff: Web page fixes.
zs at cs.mu.oz.au
Mon Apr 21 17:35:36 AEST 1997
> is the queens benchmark after it has been put through
> the source-to-source transformation of Seki and Furukawa
> from the Proceedings of the Fourth IEEE Symposium on Logic Programming.
> +(Note: cqueens uses the source code for queens, with constraint propagation
(Note: cqueens uses the source code for queens,
but defines a macro that selects different versions of some predicates).
More information about the developers