Seb4 should be good for it.