I'm not sure about the libraries yet.
You might want to take a look at the Arduino Libraries for the Orangutan and 3pi Robot and follow the development discussion for them in past forum posts. I see the situations as being similar--adapting an existing board to work within the Arduino environment.
--Phil.