Permalink
Switch branches/tags
Nothing to show
Commits on Jul 23, 2018
Commits on Jul 17, 2018
Commits on May 24, 2018
Commits on May 23, 2018
  1. [rust stable] Switch to the Rust stable channel, we do not use FnBox …

    ptal committed May 23, 2018
    …and the box syntax anymore, and better documentation in the README.
Commits on Dec 1, 2017
  1. [Cumulative] Fix a bug when the arrays have a single element and add …

    ptal committed Dec 1, 2017
    …additional tests for constant domains.
  2. [Test] Fix the tests by commenting the new tests on propagators that …

    ptal committed Dec 1, 2017
    …are work-in-progress.
Commits on Oct 13, 2017
Commits on May 2, 2017
Commits on Jan 22, 2017
Commits on Jan 16, 2017
  1. [Logic][Cumulative] Add implication and equivalence in logic connecto…

    ptal committed Jan 16, 2017
    …r and use it in cumulative.
Commits on Jan 15, 2017
  1. [Logic][Formula] Add conjunction and disjunction formulas and use con…

    ptal committed Jan 15, 2017
    …junction in the distinct propagator.
Commits on Jan 12, 2017
  1. [CStore][Propagation] Use a bitset structure for recording the propag…

    ptal committed Jan 12, 2017
    …ators that are subsumed.
  2. [CStore][Propagation] Test bulk propagation and fix a flaw in the vst…

    ptal committed Jan 12, 2017
    …ore delta protocol. Describe Distinct as a join on the cstore.
Commits on Jan 7, 2017
  1. [Term][Refactoring] Term are now boxed everywhere with Box<Var<VStore…

    ptal committed Jan 7, 2017
    …>>. It simplifies bounds and allows to have heterogeneous collection of variables (especially useful for n-ary constraints.
Commits on Dec 30, 2016
  1. [Global][Cumulative] Use a sum view to limitate the number of variabl…

    ptal committed Dec 30, 2016
    …es created. It closes #24.
Commits on Dec 29, 2016
  1. [Example][Robot] Fix a bug introduced when refactoring (TASKS-1 neede…

    ptal committed Dec 29, 2016
    …d to be grouped, operator priority bug).
  2. [Concept][Propagation] Add type concept for integer variable (IntVari…

    ptal committed Dec 29, 2016
    …able) and use it in Cumulative.