Commits

History for

Commits on Mar 22, 2018

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

Commits on Mar 17, 2017

Added general tracing support
Christian Schulte
committed
8fb3731

Commits on Feb 28, 2017

Added CHB heuristic
Christian Schulte
committed
ec78a7b

Commits on Feb 22, 2017

Activity -> Action
Christian Schulte
committed
236c221

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

Commits on Jun 1, 2016

Groups implement move operations
Christian Schulte
committed
b4fd0a2

Commits on May 23, 2016

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

Commits on Oct 29, 2015

Less inlining
Christian Schulte
committed
cbaae31

Loading