../ logicng/ - - logicng-j11/ - - logicng-parser-j11/ - - logicng-parser-j8/ - - logicng-serialization/ - -