org.sosy-lab java-smt 6.0.0-499-gf35a21a8e 6.0.0-499-gf35a21a8e 0.3-121-g8371696 0.4 0.5 0.5-1-g9d26410 0.5-3-g103d67f 0.51 0.60 0.60-174-g7ab7771 1.0.0 1.0.1 2.0.0-alpha-43-g775a9d3 2.0.0-alpha-252-gbe6815a 2.0.0-alpha-266-g80711a5 2.0.0 2.0.0-6-gd641b39 2.0.1 2.0.2 2.1.0 2.1.3 2.2.0 3.0.0 3.1.0 3.2.0 3.2.0-5-g68c1c75 3.3.0 3.5.0 3.5.1 3.6.0 3.6.1 3.7.0 3.7.0-61-gea80187e 3.8.0 3.9.0-1-g304079c2 3.10.0 3.10.1 3.11.0 3.12.0 3.13.0 3.13.1 3.13.2 3.13.3 3.14.0 3.14.1 3.14.2 3.14.3 4.0.0 4.0.2 4.0.3 4.1.0 4.1.1 5.0.0 5.0.1 5.0.1-342-gba42ae487 5.0.1-344-g47d864510 5.0.1-362-g3846f26ca 5.0.1-523-g9001c0ea4 5.0.1-618-ga6bdbf912 5.0.1-723-g57d7e4ab4 5.0.1-911-g0d0c23d6e 5.0.1-990-g2a1205c7f 6.0.0 6.0.0-148-gba08f432a 6.0.0-499-gf35a21a8e 20260402221436