Commits

History for

Commits on Mar 22, 2018

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

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

Delete trailing spaces
Christian Schulte
committed
2e0b1ee

Commits on May 29, 2013

Changed float branchers
Christian Schulte
committed
a396515

Commits on May 2, 2013

Merged print() for branchers
Christian Schulte
committed
755fd2a

Commits on Sep 18, 2012

View-value branching infrastructure reimplemented from scratch
Christian Schulte
committed
970877b

Loading