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 Mar 26, 2017
  1. update robot2 exemple

    Philippe Delrieu Philippe Delrieu
    Philippe Delrieu authored and Philippe Delrieu committed Mar 26, 2017
  2. update robot2 exemple

    Philippe Delrieu Philippe Delrieu
    Philippe Delrieu authored and Philippe Delrieu committed Mar 26, 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 Jan 5, 2017
  1. up all test in robot2

    Philippe Delrieu Philippe Delrieu
    Philippe Delrieu authored and Philippe Delrieu committed Jan 5, 2017
Commits on Dec 31, 2016
  1. add some robot examples

    musitdev committed Dec 31, 2016
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.