CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration

Product configuration is a successful application area of constraint programming. CLab [1, 2] is an open source C++ library for building fast backtrack-free interactive product configurators. It contains functions that support a two-phase approach to interactive product configuration described by Hadzic et al. [3]. In the first phase, a Binary Decision Diagram (BDD) representing the set of valid configurations is compiled offline. In the second phase, this BDD is accessed by the online interactive product configurator. The library has two major functions: one that builds the BDD from a declarative product model (M1), and one that computes the set of possible ways a current partial configuration can be extended to a valid product (M2). The latter function is fast (polynomial) and used to make the interactive product configuration process complete and backtrack-free. It allows the user to choose freely between any possible continuation of the partial configuration. The approach is illustrated by the procedure