Thanks guys, I've found Cockatrice will give it a go, that's fine about the AI element, I think I was being a bit optimistic about how AI could be implemented to something as complex as MTG, it was more for practice runs but if I can get games against real people on there too that would work.
Thanks again for all the help