Re: 2008 RL Competition Proving and Testing

[Brian Tanner]

They are!

I can't recall if they are in the 2008 download, please check it out:
http://code.google.com/p/rl-competition/downloads/list

If not, you'll have to grab it out of svn from the /tags/2008-competition-final

http://code.google.com/p/rl-competition/source/browse/#svn%2Ftags%2F2008-competition-final

Good luck, let us know if you have any further questions!

On Tue, Dec 6, 2011 at 5:48 AM, Vukosi Marivate <vuk...@cs.rutgers.edu> wrote:
> I need to get the files for the 2008 RL Competition Proving and Testing
> phases. Are they available anywhere online?
>
> Regards,
> Vukosi Marivate
> PhD Candidate - Department of Computer Science, Rutgers, The State
> University of New Jersey
> http://paul.rutgers.edu/~vukosi/
>

--
Brian Tanner
Ph.D Student
University of Alberta
br...@tannerpages.com