Commits

History for

Commits on Oct 16, 2018

Turned forwards into backwards loops
chschulte
committed
a24aefe
Turned forwards into backwards loops
chschulte
committed
45ed1c8

Commits on Mar 22, 2018

Remove svn-specific last modified info
Christian Schulte
committed
8207f7f

Commits on May 10, 2017

Removed Boolean sharing argument during cloning
Christian Schulte
committed
979e6e3

Commits on Dec 2, 2016

Added ite constraint for Booleans, sets, floats
Christian Schulte
committed
47f54f7

Commits on Nov 8, 2016

Allow mix of variables and constants for relation constraints
Christian Schulte
committed
1b698dd

Commits on Jun 17, 2016

Some warnings removed
Christian Schulte
committed
7016621

Commits on May 23, 2016

Added support for propagator and brancher groups and tracing (not yet tested)
Christian Schulte
committed
448fcee

Commits on Apr 19, 2016

Delete trailing spaces
Christian Schulte
committed
2e0b1ee

Commits on Oct 29, 2015

Generalized ite
Christian Schulte
committed
46b131a

Commits on Sep 15, 2015

Support additional flags for propagation level
Christian Schulte
committed
2bfef63

Commits on Sep 11, 2015

IntConLevel is IntPropLevel now
Christian Schulte
committed
0662590

Commits on Apr 29, 2013

Enable domain consistency for if then else
Christian Schulte
committed
1c7a0cc

Commits on Apr 17, 2013

If-then-else also in minimodel
Christian Schulte
committed
2ebb926
Added if-then-else constraint
Christian Schulte
committed
dd0466f

Commits on Oct 18, 2012

Half-reification for integer constraints done
Christian Schulte
committed
0a73d35

Commits on Sep 7, 2012

Reverted back to old region implementation
Christian Schulte
committed
f448f6d

Commits on Aug 30, 2012

Reimplemented Region
Christian Schulte
committed
05901e3

Commits on Nov 29, 2011

To avoid nameclashes use irt rather than r for IntRelType, r is for Reify now
Christian Schulte
committed
c2e48c4

Commits on Nov 18, 2011

More half reification
Christian Schulte
committed
7dd867c

Commits on Oct 6, 2011

N-ary xor and eqv optimized, n-ary imp fixed
Christian Schulte
committed
46a2dd1

Commits on Jul 6, 2011

Changed semantics of rel(x,IRT_NQ) to not all equal
Christian Schulte
committed
c93239f

Commits on Jun 21, 2011

Lexical disequality propagator
Christian Schulte
committed
2cd14ea
Renamed Lex into LexLqLe
Christian Schulte
committed
09b96d6

Commits on Jun 20, 2011

Works even with sharing
Christian Schulte
committed
9cc4693

Commits on Jun 19, 2011

Started sequence rel stuff
Christian Schulte
committed
47ffb89

Commits on Jun 16, 2011

Changed semantics of rel(home, x, IRT_*)
Christian Schulte
committed
e01e9cc

Commits on Jun 4, 2010

No init functions for variables
Christian Schulte
committed
d1d00b3

Commits on Mar 3, 2010

GECODE_ES_FAIL and GECODE_ME_FAIL now make assumption that home is home (like other macros already did)
Christian Schulte
committed
df61de8

Commits on Oct 12, 2009

Use Home rather than Space for posting
Christian Schulte
committed
3ce611d

Commits on Mar 2, 2009

Lot's of small fixes: assertions, memory management, documentation, etc
Christian Schulte
committed
1e6d028

Commits on Feb 4, 2009

Removed registration
Christian Schulte
committed
55a4692

Commits on Jan 20, 2009

Cleaned
Christian Schulte
committed
e1af53e

Commits on Dec 15, 2008

Most of PropKind gone
Christian Schulte
committed
9121ae9

Commits on Sep 3, 2008

Use include <...> instead of include "..."
guidotack
committed
ca00dc6