CLab 1.0

CLab 1.0 has been precompiled on Debian wheezy/sid 10 dec 2011. It should be fairly simple to port to other operating systems.

[[http://www.itu.dk/people/rmj/data/systems/ClabSharp10/API/CaSPer/index.html | Clab Configurator Reference]]

* ''CLab# 1.0: A Configuration Support Tool Based on Constraint Programming and Binary Decision Diagrams'', Torbjørn Meistad, Yngve Raudberget and Geir-Tore Lindsve, Master Thesis, IT University of Copenhagen, 2006.

* Download [[http://www.itu.dk/people/rmj/data/systems/ClabSharp10.zip |@@clab#10.zip@@]] (6.3 MB).

[[http://www.itu.dk/people/data/systems/ClabSharp10/API/CaSPer/index.html | Clab Configurator Reference]]

!!CLab# 1.0

* Download [[http://www.itu.dk/people/rmj/data/systems/ClabSharp10.zip |@@clab#10.zip@@] (6.3 MB).
* Follow the instructions in the [[http://www.itu.dk/people/rmj/data/systems/ClabSharp10/manual.pdf |user manual]].

Online Reference\\
[[http://www.itu.dk/people/rmj/data/systems/ClabSharp10/API/CLabSharp/index.html | Clab#]]\\
[[http://www.itu.dk/people/rmj/data/systems/ClabSharp10/API/CLabConfigurator/index.html | Clab Configurator]]\\
[[http://www.itu.dk/people/data/systems/ClabSharp10/API/CaSPer/index.html | Clab Configurator Reference]]\\


!!!!CLab# related Publications

!!!CLab# 1.0

CLab1.0# is an implementation of Clab1.0 in C#. In this implementation, CLab has further been extended with a constraint solver called Casper that makes it possible to shift between BDD-based and search-based configuration. In addition CLab# includes a user interface.

CLab#1.0 has been implemented by Torbjørn Meistad, Yngve Raudberget and Geir-Tore Lindsve as a part of their thesis work in the Computational Logic and Algorithms research group. You can down-load and use this software for research and educational purposes.

Quick install:
* Download [[http://www.itu.dk/people/rmj/public_html.org/data/systems/ClabSharp10.zip |@@clab#10.zip@@] (6.3 MB).
* Follow the instructions in the [[http://www.itu.dk/people/rmj/public_html.org/data/systems/ClabSharp10/manual.pdf |user manual]].

Online Reference
Clab#
Clab Configurator
Clab Configurator Reference


CLab# related Publications


(pdf) CLab# 1.0: A Configuration Support Tool Based on Constraint Programming and Binary Decision Diagrams, Torbjørn Meistad, Yngve Raudberget and Geir-Tore Lindsve, Master Thesis, IT University of Copenhagen, 2006.

Configuration LABoratory (CLab) is an open source C++ library for fast backtrack-free interactive product configuration. It encodes configurations in binary and uses reduced ordered Binary Decision Diagrams (BDDs) to represent and reason about large configuration spaces. CLab utilizes the BuDDy BDD package for handling BDDs. Instead of encapsulating this package, CLab works side by side with BuDDy as an advanced support tool. The BDDs generated by CLab can be printed, saved, and further manipulated using the numerous functions of the BuDDy package. This makes CLab suitable for research and education without compromising its ability to support real product configuration applications.

* Download [[http://www.itu.dk/people/rmj/data/systems/clab10/CLab10.tar.gz | @@CLab10.tar.gz@@]] (3.2 MB).

See the CLab [[http://www.itu.dk/people/rmj/data/systems/clab10/man.pdf | User Manual]] for details.

* [[http://www.itu.dk/people/rmj/data/papers/AJHAM04.pdf | ''Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator'']], S. Sathiamoorthy, R.M. Jensen, T. Hadzic, H.R. Andersen, J. Moller and H. Hulgaard. CP-04 Workshop on CSP Techniques with Immediate Application, 2004.

* [[http://www.itu.dk/people/rmj/data/papers/JSW04.pdf | ''CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration'']], R.M. Jensen, In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04), page 816, 2004.

!!!!CLab related Publications

* Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator, S. Sathiamoorthy, R.M. Jensen, T. Hadzic, H.R. Andersen, J. Moller and H. Hulgaard. CP-04 Workshop on CSP Techniques with Immediate Application, 2004.

* Unzip "@@gunzip CLab10.tar.gz@@".
* Untar "@@tar xvf CLab10.tar@@".
* Test: go to "@@CLab10/example/shirt@@" and compile the source files of the example by running "@@make@@". This should produce the executable "shirt". The effect of running "shirt" should be an assignment of color to Black, print to MIB, and size to Small.

See the CLab [[http://www.itu.dk/people/rmj/public_html.org/data/systems/clab10/man.pdf | User Manual]] for details.

* Download [[http://www.itu.dk/people/rmj/public_html.org/data/systems/clab10/CLab10.tar.gz | @@CLab10.tar.gz@@]] (3.2 MB).

(:Title CLab 1.0:)

(Title: CLab 1.0:)

[Title: CLab 1.0:]

Configuration LABoratory (CLab) is an open source C++ library for fast backtrack-free interactive product configuration. It encodes configurations in binary and uses reduced ordered Binary Decision Diagrams (BDDs) to represent and reason about large configuration spaces. CLab utilizes the BuDDy BDD package for handling BDDs. Instead of encapsulating this package, CLab works side by side with BuDDy as an advanced support tool. The BDDs generated by CLab can be printed, saved, and further manipulated using the numerous functions of the BuDDy package. This makes CLab suitable for research and education without compromising its ability to support real product con¯guration applications.

The implementation of CLab has been made as flat as possible to make it easy to alter the code and implement new functions. The library has two major functions: one that builds a BDD representing the configuration space of a declarative product model, and one that computes the set of possible ways a current partial configuration can be extended to a valid product. The latter function is fast (polynomial) and makes the interactive product configuration process complete and backtrack-free, since it allows the user to choose freely between any possible continuation of the partial configuration.

CLab 1.0 has been precompiled for Linux version 2.4. It may run under earlier and later Linux versions as well, and it should be fairly simple to port to other operating systems.

Quick install:
* Download [[http://www.itu.dk/people/rmj/public_html.org/data/systems/clab10/CLab10.tar.gz | CLab10.tar.gz]] (3.2 MB).
* Unzip "gunzip CLab10.tar.gz".
* Untar "tar xvf CLab10.tar".
* Test: go to "CLab10/example/shirt" and compile the source files of the example by running "make". This should produce the executable "shirt". The effect of running "shirt" should be an assignment of color to Black, print to MIB, and size to Small.

See the CLab User Manual for details.


CLab related Publications


(ps,pdf,bib) Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator, S. Sathiamoorthy, R.M. Jensen, T. Hadzic, H.R. Andersen, J. Moller and H. Hulgaard. CP-04 Workshop on CSP Techniques with Immediate Application, 2004.

(ps,pdf,bib) CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration, R.M. Jensen, In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04), page 816, 2004.