Commits

History for

Commits on Jun 26, 2020

Avoid reserved identifier names
zayenz
committed
4e4529e

Commits on May 8, 2020

Avoid double underscorde in include guards
zayenz
committed
3ca2ff8

Commits on Aug 30, 2019

Do not use NULL
chschulte
committed
7b7eb9e

Commits on Apr 15, 2019

Configure whether to use propagation and/or failure for action
chschulte
committed
d672fd6

Commits on Mar 6, 2019

Support variable selection criteria for assigning variables during search
chschulte
committed
c3ece81

Commits on Oct 16, 2018

Fix exception message
chschulte
committed
9c78563
Use == instead of same
chschulte
committed
ab55191
Replaced before() by <
chschulte
committed
6fe03f6
Use == and != for comparing views
chschulte
committed
dbab72c
Initializer lists for variable argument arrays
chschulte
committed
d162708

Commits on May 21, 2018

Now all float constraints restrict their variable domains when being posted
Christian Schulte
committed
4357d15

Commits on May 18, 2018

Fixed very bad coding style
Christian Schulte
committed
c94649f
Fixed printing of float values and variables
Christian Schulte
committed
e09ac91

Commits on Mar 22, 2018

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

Commits on Sep 29, 2017

Coefficients in linear are not allowed to have mixed signs
Christian Schulte
committed
1539408

Commits on Sep 28, 2017

Check for overflow in linear
Christian Schulte
committed
e663f35

Commits on Jul 4, 2017

Fix for tracing
Christian Schulte
committed
bbc9d72

Commits on Jun 19, 2017

Added sharing for AFC
Christian Schulte
committed
689b92b

Commits on May 30, 2017

Cleaned up directory structure in kernel and search
Christian Schulte
committed
a38dae8

Commits on May 10, 2017

Removed Boolean sharing argument during cloning
Christian Schulte
committed
979e6e3

Commits on Apr 10, 2017

More rational structure
Christian Schulte
committed
62727e8

Commits on Apr 4, 2017

Use FloatVal as rhs in linear
Christian Schulte
committed
18d191e

Commits on Apr 1, 2017

Re-added branch filter functions (witha better implementation, though)
Christian Schulte
committed
7411488

Commits on Mar 18, 2017

Fix for float test in linear.
Vincent Barichard
committed
434e3f2

Commits on Mar 17, 2017

Added general tracing support
Christian Schulte
committed
8fb3731

Commits on Mar 14, 2017

Tracers also record fail events
Christian Schulte
committed
f56f134

Commits on Mar 8, 2017

Use bool operators
Christian Schulte
committed
2eedb20
Compiles also with MSVC 2013
Christian Schulte
committed
89c1d83

Commits on Feb 28, 2017

Added CHB heuristic
Christian Schulte
committed
ec78a7b
Comment fixes
Christian Schulte
committed
3f4325d

Commits on Feb 23, 2017

AFC 2.0
Christian Schulte
committed
6c8f985

Commits on Feb 22, 2017

Activity -> Action
Christian Schulte
committed
236c221

Commits on Feb 21, 2017

Count activity on failed space
Christian Schulte
committed
4c02dfa
Do not inline subscribe/cancel and no need to implement cancel for variables!
Christian Schulte
committed
adc8dce

Commits on Feb 16, 2017

Branching for Boolean variables now uses BOOL_VAR_... and BOOL_VAL_... functions; branch filter functions removed; all branch functions are based on std::function (C++-11)
Christian Schulte
committed
f9b4082