Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Mar 16, 2015
  1. @9thbit
  2. @9thbit
  3. @9thbit

    Version bump 1.1.1

    9thbit authored
  4. @9thbit
  5. @9thbit

    Merge branch 'develop'

    9thbit authored
  6. @9thbit

    Update to the latest Mistral2.

    9thbit authored
Commits on Mar 11, 2015
  1. @9thbit
Commits on Feb 19, 2015
  1. @9thbit
Commits on Feb 5, 2015
  1. @9thbit
Commits on Nov 20, 2014
  1. @9thbit
  2. @9thbit
Commits on Nov 5, 2014
  1. @9thbit
  2. @9thbit
  3. @9thbit
Commits on Oct 16, 2014
  1. @9thbit

    Add install doc.

    9thbit authored
  2. @9thbit

    Add sphinx source docs.

    9thbit authored
  3. @9thbit

    Documentation

    9thbit authored
    Lots of new documentation and switch to sphinx-doc. Deprecate some old APIs too.
Commits on Oct 14, 2014
  1. @9thbit
  2. @9thbit
Commits on Sep 7, 2014
  1. @9thbit

    version bump.

    9thbit authored
  2. @9thbit
  3. @9thbit
  4. @9thbit
  5. @9thbit

    Merge branch 'minioninterface'

    9thbit authored
  6. @9thbit
  7. @9thbit
Commits on Sep 2, 2014
  1. @9thbit

    Support for Minion command line options.

    9thbit authored
    Basic ones like Numberjacks setTimeLimit etc are mapped to setOption(name, value) calls which can be used to specify any other command line option. verbosity changes too.
  2. @9thbit
  3. @9thbit
  4. @9thbit

    Lots of minion interface improvments.

    9thbit authored
    Some reified constraints.
  5. @9thbit
Commits on Sep 1, 2014
  1. @9thbit

    Work in progress updated Minion interface.

    9thbit authored
    Will have an internal python representation for each expression so that we can do more powerful things like rewrite sub-expressions and handle reification better.
  2. @9thbit
Commits on Aug 23, 2014
  1. @9thbit

    Bugfix for Booleanised domains not being passed to MIP solver in some…

    9thbit authored
    … cases, courtesy of Eoin O'Mahony.
  2. @9thbit
Something went wrong with that request. Please try again.