Skip to content

v1.4
Compare
Choose a tag to compare
@rtaupe rtaupe released this 18 Sep 13:31
· 42 commits to master since this release
v1.4
ff91512

Description of files:

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