Software For Contract Analysis