Software Search For examples formal outline Free Download