In order to use HomotopyContinuation.jl you need to have at least Julia 1.0 installed. If this is not the case you can download it at julialang.org. Please see the platform specific instructions if you have trouble installing Julia.
HomotopyContinuation.jl is available through the Julia package manager.
You can enter it by pressing
] in the REPL and then typing
pkg> add HomotopyContinuation
Alternatively, you can also use
julia> import Pkg julia> Pkg.add("HomotopyContinuation")
After you completed the installation you are ready to solve your first polynomial system.