Home
last modified time | relevance | path

Searched refs:backend_pattern (Results 1 – 1 of 1) sorted by relevance

/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/scripts/cadofactor/
H A Dwudb.py439 def __init__(self, uri, backend_pattern=None): argument
450 if backend_pattern is not None and not re.match(backend_pattern, self.backend):
451 … raise ValueError("back-end type %s not supported, expected %s" % (self.backend, backend_pattern))
508 super().__init__(uri, backend_pattern="sqlite3?")
588 super().__init__(uri, backend_pattern="mysql")