Isum Software [Full Version]