LRSLib with Floats

[tomerarnon]

The following works just fine, although from this issue on CDDLib, I understand that actually it should not, since LRSLib does not support floating point arithmetic.

julia> using LazySets, Polyhedra, LRSLib

julia> H = convert(HPolytope, rand(Hyperrectangle, dim = 5));

julia> @time tovrep(H, backend = LRSLib.Library());
  4.151839 seconds (14.16 M allocations: 743.277 MiB, 10.23% gc time)