Minor changes.
Constr.v added.
Fix.
Solvers.v added.
Rels.v and Noether.v added.