Documentation on solBCN

Download and build

The latest version of the documentation can be downloaded from the project's subversion repository by executing the following command:

svn export http://floss.lsi.upc.edu/svn/soft/solBCN/trunk/doc/

To build the documentation write the following commands:

cd doc
make all

After that you will get a set of postscript files describing the design of solBCN. Make, dia, LaTeX and transfig are required to build the documentation.

Overview

solBCN follows the abstract architecture is described in AbstractArquitecture?. The components of the architecture can be classified as data entities and functional units. The document problem.ps.gz describes data entities. The following documents describe functional units: analyzer.ps.gz and constructor.ps.gz. Data entities and functional units are assembled in a solver.ps.gz component.

A GUI is provided as a proof of concept. It is described in editor.ps.gz.

The components are tested as described in test.ps.gz. Specifically, the tree decomposition algorithm in the analyzer functional unit has been tested for several classes of geometric constraint graphs, see graph.ps.gz.

Note:

  • Currently the documentation is written in catalan.

Attachments