def download(self):
self.complete_version = "%s.%s" % (self.solver_version,
self.pypicosat_minor_version)
pypi_link = "http://pypi.python.org/pypi/pyPicoSAT/%s/json" % self.complete_version
response = urllib2.urlopen(pypi_link)
reader = codecs.getreader("utf-8")
pypi_json = json.load(reader(response))
self.native_link = pypi_json["urls"][0]["url"]
self.archive_name = pypi_json["urls"][0]["filename"]
self.archive_path = os.path.join(self.base_dir, self.archive_name)
self.extract_path = os.path.join(self.base_dir, self.archive_name[:-7])
SolverInstaller.download(self)
def download(self):
self.complete_version = "%s.%s" % (self.solver_version,
self.pypicosat_minor_version)
pypi_link = "http://pypi.python.org/pypi/pyPicoSAT/%s/json" % self.complete_version
response = urllib2.urlopen(pypi_link)
reader = codecs.getreader("utf-8")
pypi_json = json.load(reader(response))
self.native_link = pypi_json["urls"][0]["url"]
self.archive_name = pypi_json["urls"][0]["filename"]
self.archive_path = os.path.join(self.base_dir, self.archive_name)
self.extract_path = os.path.join(self.base_dir, self.archive_name[:-7])
SolverInstaller.download(self)
