The JAR file for the module junit-quickcheck-core contains junit-quickcheck’s machinery. You will want to start out also with the JAR file for the module junit-quickcheck-generators, which consists of generators for basic Java types, such as primitives, arrays, and collections.
There is also a module junit-quickcheck-guava, containing generators for Guava types.
Releases live in the central Maven repository. Here are the coordinates for the junit-quickcheck JAR files: