Commits

History for

Commits on Mar 22, 2018

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

Commits on May 23, 2016

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

Commits on Feb 12, 2013

Bug fixes.
Vincent Barichard
committed
87fa9d9

Commits on Dec 13, 2012

Simplification of reification.
Vincent Barichard
committed
cf68c6f

Commits on Jul 30, 2012

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

Commits on Mar 28, 2012

Fix headers (copyright).
Vincent Barichard
committed
84b4cc0

Commits on Mar 27, 2012

No FloatConLervel
Christian Schulte
committed
20042a7
Fixes: doxygen, same macros and using
Christian Schulte
committed
04b1fa8
Partial header fixes (the original copyright must be restored)
Christian Schulte
committed
9c98b0f
Floats coming soon
Christian Schulte
committed
70defaa

Loading