Releases: siemens/JMiniZinc
Releases · siemens/JMiniZinc
v1.7
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.
v1.6
Description of files:
core-1.6.jar: Binaries for the core component of JMiniZincdiag-1.6.jar: Binaries for the diagnosis add-on to JMiniZinc coreui-1.6.jar: Binaries for the UI add-on to the diagnosis componentbinaries-1.6.zip: Binaries for all three componentsminimalDiagnoses-1.6.zip: Binaries for all three components together with instructions and examples aimed at users of the diagnosis UI.
v1.5
Description of files:
core-1.5.jar: Binaries for the core component of JMiniZincdiag-1.5.jar: Binaries for the diagnosis add-on to JMiniZinc coreui-1.5.jar: Binaries for the UI add-on to the diagnosis componentbinaries-1.5.zip: Binaries for all three componentsminimalDiagnoses-1.5.zip: Binaries for all three components together with instructions and examples aimed at users of the diagnosis UI.
v1.4
Description of files:
core-1.4.jar: Binaries for the core component of JMiniZincdiag-1.4.jar: Binaries for the diagnosis add-on to JMiniZinc coreui-1.4.jar: Binaries for the UI add-on to the diagnosis componentbinaries-1.4.zip: Binaries for all three componentsminimalDiagnoses-1.4.zip: Binaries for all three components together with instructions and examples aimed at users of the diagnosis UI.
v1.3
Description of files:
core-1.3.jar: Binaries for the core component of JMiniZincdiag-1.3.jar: Binaries for the diagnosis add-on to JMiniZinc coreui-1.3.jar: Binaries for the UI add-on to the diagnosis componentbinaries-1.3.zip: Binaries for all three componentsminimalDiagnoses-1.3.zip: Binaries for all three components together with instructions and examples aimed at users of the diagnosis UI.
v1.2
Description of files:
core-1.2.jar: Binaries for the core component of JMiniZincdiag-1.2.jar: Binaries for the diagnosis add-on to JMiniZinc coreui-1.2.jar: Binaries for the UI add-on to the diagnosis componentbinaries-1.2.zip: Binaries for all three componentsminimalDiagnoses-1.2.zip: Binaries for all three components together with instructions and examples aimed at users of the diagnosis UI.