Skip to content

v1.6

Choose a tag to compare

View all tags
@rtaupe rtaupe released this 11 Nov 09:19
· 16 commits to master since this release
v1.6
2dbeb46

Description of files:

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