Function FreeMemory

library/src/init.cpp:410–414

* @brief Free memory used by the solver. */

 * @brief Free memory used by the solver.
 */
void STDCALL FreeMemory()
{
  for (unsigned thrId = 0; thrId < memory.NumThreads(); thrId++)
    memory.ReturnThread(thrId);
}

void STDCALL ErrorMessage(int code, char line[80])
{