CDDLibrary not defined

The packages were installed. Why is this telling me CDDLibrary is not defined?

using Pkg
Pkg.add("Polyhedra")
Pkg.add("CDDLib")

using CDDLib
polyf = polyhedron(hrep, CDDLibrary())

It is now called CDDLib.Library

1 Like