Description of files:
core-1.7.jar: Binaries for the core component of JMiniZincdiag-1.7.jar: Binaries for the diagnosis add-on to JMiniZinc coreui-1.7.jar: Binaries for the UI add-on to the diagnosis componentbinaries-1.7.zip: Binaries for all three componentsminimalDiagnoses-1.7.zip: Binaries for all three components together with instructions and examples aimed at users of the diagnosis UI.