me.tomassetti java-symbol-solver-logic 0.3.1 0.3.1 0.1.3 0.2 0.3 0.3.1 20161019085537