Skip to content

v1.5

Choose a tag to compare

View all tags
@rtaupe rtaupe released this 06 Mar 12:24
· 22 commits to master since this release
v1.5
0df5a2f

Description of files:

  • core-1.5.jar: Binaries for the core component of JMiniZinc
  • diag-1.5.jar: Binaries for the diagnosis add-on to JMiniZinc core
  • ui-1.5.jar: Binaries for the UI add-on to the diagnosis component
  • binaries-1.5.zip: Binaries for all three components
  • minimalDiagnoses-1.5.zip: Binaries for all three components together with instructions and examples aimed at users of the diagnosis UI.
Assets 7
Loading