Function init 

pub fn init()

Initializes the solver console output.

Safe to call multiple times - only the first call has effect. Prints the SolverForge banner and sets up tracing.