% $Id: SolveFirst.oz,v 1.1 2007/11/26 20:09:04 leavens Exp leavens $ \insert 'SolveOne.oz' declare fun {SolveFirst F} % Requires: F has at least one solution {SolveOne F}.1 end