title: How to redirect the console output to richtextbox?
body: <p>And because the output come from the results of a solver, will last for quite a long time, is there a way
  the richtextbox could display the output simultaneously with the console?</p>