Commits

History for

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 Nov 8, 2016

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

Commits on May 23, 2016

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

Commits on Sep 11, 2015

IntConLevel is IntPropLevel now
Christian Schulte
committed
0662590

Commits on Feb 14, 2013

Use long long int instead of double whenever possible, cumulative still pedning
Christian Schulte
committed
12a86bb

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 Aug 21, 2011

Minor
Christian Schulte
committed
6738a23

Commits on Aug 17, 2011

Added nvalues constraint, dominating queens example, and clean up of view value graph implementation
Christian Schulte
committed
e938250

Loading