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