Download all versions of javasmt-yices2 JAR files with all dependencies

javasmt-yices2 from group org.sosy-lab (version 4.1.1-734-g3732f7e08)

javasmt-yices2 from group org.sosy-lab (version 4.1.1-59-gaf9c0520c)

javasmt-yices2 from group org.sosy-lab (version 4.1.0-1-gc58fe5b4)

javasmt-yices2 from group org.sosy-lab (version 4.0.1)

javasmt-yices2 from group org.sosy-lab (version 3.12.0)

javasmt-yices2 from group org.sosy-lab (version 3.10.0)

javasmt-yices2 from group org.sosy-lab (version 3.6.0-27-g42532e0b)