AQCS is the predecessor of RSOLVER. We will not develop AQCS further, but actively work on RSOLVER. On many examples, AQCS still is more efficient, but that will change in the near future. New features of RSOLVER include: support for transcendental function symbols, a portable GUI that can access the solver over an internet connection, use of an efficient external semidefinite programming solver.