Commits

History for

Commits on Mar 22, 2018

Remove svn-specific last modified info
Christian Schulte
committed

Commits on May 30, 2017

Cleaned up directory structure in kernel and search
Christian Schulte
committed

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

Commits on Feb 10, 2017

Use std::function for wait and when
Christian Schulte
committed

Commits on May 23, 2016

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

Commits on Apr 6, 2012

Added wait propagators
Christian Schulte
committed

Loading