<!DOCTYPE walkmod PUBLIC "-//WALKMOD//DTD" "http://www.walkmod.com/dtd/walkmod-1.1.dtd">
<walkmod>
    <modules>
        <module>java-symbol-solver-model</module>
        <module>java-symbol-solver-logic</module>
        <module>java-symbol-solver-core</module>
        <module>java-symbol-solver-examples</module>
    </modules>
</walkmod>
