Could instances of the orchard problem be decided via Pressburger arithmetic or some decidable real number theory? Is there software out there for decidable theories? Is it practical? -------------------------------- - David Wilson