Mizar            

Free Winboard Engine by Nicola Rizzuti


Mizar Download Page