The classic C solver and tcl/tk frontend.