adamnagel 

Gecode is a toolkit for developing constraint-based systems and applications.

muParser is an extensible high performance math expression parser library written in C++

Gecode is a toolkit for developing constraint-based systems and applications.

Redistributable components for package 'gecode-vc100'. This package should only be installed as a dependency. (This is not the package you are looking for).

Symbols for package 'gecode-vc100'. This package should not likely be installed. (This is not the package you are looking for).