diff -up src/sage/geometry/polyhedron/base.py.orig src/sage/geometry/polyhedron/base.py

--- src/sage/geometry/polyhedron/base.py.orig	2018-05-16 13:31:55.930138769 -0600

+++ src/sage/geometry/polyhedron/base.py	2018-05-16 13:35:12.219428900 -0600

@@ -4281,9 +4281,6 @@ class Polyhedron_base(Element):

              David Avis's lrs program.

         """

-        if not is_package_installed('lrslib'):

-            raise PackageNotFoundError('lrslib')

-

         from sage.misc.temporary_file import tmp_filename

         from subprocess import Popen, PIPE

         in_str = self.cdd_Vrepresentation()