plugins Ġ{ ĊĠĠĠ Ġid (" java - common ") ĊĠĠĠ Ġid (" antlr - grammar ") Ċ } Ċ Ċ dependencies Ġ{ ĊĠĠĠ Ġcompile ( project (": theta - common ")) ĊĠĠĠ Ġcompile ( project (": theta - core ")) ĊĠĠĠ Ġcompile ( project (": theta - solver ")) ĊĠĠĠ Ġcompile (" org . apache . commons : commons - compress : 1 . 2 0 ") ĊĠĠĠ Ġtest Implementation ( test Fixtures ( project (": theta - core "))) Ċ } Ċ