Installing PACE.jl

PACE provides Julia packages through a dedicated registry. You have two options for installation:

Option 1: Using the PACE Registry

This is the recommended approach as it ensures you get the latest stable versions and proper dependency management.

When starting with a fresh Julia installation, the general registry is automatically added when you try to add your first package from it. If you add the PACE Julia Registry first without ever adding a package from the general registry, the general registry will not be automatically added. To ensure both registries are available, it is recommended to either:

• Add a package from the general registry first (which will automatically add the general registry), then add the PACE Julia Registry, or
• Manually add the general registry using pkg"registry add General" before adding the PACE Julia Registry.

1. Add the PACE registry to your Julia installation:

   julia> using Pkg
   julia> pkg"registry add https://gitlab.inria.fr/pace/pace-julia-registry.git"
   

   This step only needs to be done once per Julia installation.

2. Install the desired package:

   julia> Pkg.add("PACE")  # For the main package
   # Or install specific packages:
   julia> Pkg.add("RationalUnivariateRepresentation")
   

Option 2: Direct Installation

If you prefer to install packages directly from their repositories, you can use their GitLab URLs:

julia> using Pkg

# Install specific packages directly
julia> Pkg.add(url="https://gitlab.inria.fr/newrur/RationalUnivariateRepresentation.jl")

---