Source code for the sm@rt framework