You will need to include the definition of Solve in your program since
it's not part of the standard Oz library. The definition is in the
book, or you can retrieve it from the supplements section of the books
online web page at:
http://www2.info.ucl.ac.be/people/PVR/ds/booksuppl.oz
See the Chapter #9 section.
Chris Rathman
Alan Oswald wrote:
I tried Solve and it said
" variable Solve not introduced"
Then I tried ExploreOne and, as you know, got a beautifully coloured
tree but not what I would call an "answer".
Alan
------------------------------------------------------------------------
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
