Commits

History for

Commits on Oct 16, 2018

Use == and != for comparing views
chschulte
committed
dbab72c

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 Apr 19, 2016

Delete trailing spaces
Christian Schulte
committed
2e0b1ee

Commits on Mar 18, 2013

Fix for float reification constraint.
Vincent Barichard
committed
d7ae686

Commits on Jan 24, 2013

Linear done but reification tests not yet done
Christian Schulte
committed
f199b9f
Removed generality and optimizations for linear that only matter for integers
Christian Schulte
committed
7dac400

Commits on Dec 13, 2012

Simplification of reification.
Vincent Barichard
committed
cf68c6f

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 Jul 30, 2012

Add float tests for linear, relational and channel constraints.
Vincent Barichard
committed
8cab69f

Commits on Jul 20, 2012

Bug fixes and update of assignment relation for floats
Vincent Barichard
committed
3e448c0

Commits on Apr 2, 2012

Removed nq for float views, and fixed all propagators that used it to wait for assignment and check instead
guidotack
committed
414fcc7

Commits on Mar 28, 2012

Fix headers (copyright).
Vincent Barichard
committed
84b4cc0

Commits on Mar 27, 2012

Partial header fixes (the original copyright must be restored)
Christian Schulte
committed
9c98b0f
Floats coming soon
Christian Schulte
committed
70defaa

Loading