added semantics and links to solvers; changed division presentation