Skip to content

v1.3

Choose a tag to compare

View all tags
@rtaupe rtaupe released this 15 Jan 10:31
· 45 commits to master since this release
v1.3
8856024

Description of files:

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