Commits

Shlomi Fish committed 6aeccf0

Add more.

  • Participants
  • Parent commits b777de3

Comments (0)

Files changed (1)

File fc-solve/docs/request-for-usable-deployment-machines.xhtml

 are intractable), and see if there is a solution or not, we need a large
 amount of memory. We have done improvements in the memory consumption
 of the solver, but the problem
-domain necessitates a large amount due to its intrinsic nature. As a result,
+domain still necessitates a large amount. As a result,
 access to computers with a large amount of RAM will be beneficial for our
 cause.
 </p>
 
 <p>
-We have been kindly provided with access to such computers, but they proved
-to be not reliable enough for our needs, and caused the invoked processes
+We have been kindly provided with access to such computers, but the have
+proven to be too unreliable for our needs, and caused the invoked processes
 to stop prematurely, and as a result, we are seeking some more reliable
 machines.
 </p>