Ejemplos de clingo_version en Python

Ejemplo n.º 1

def have_python_support(py2: bool = True, py3: bool = True) -> bool or None:
    """True if clingo supports python for given versions.
    None if no python support at all."""
    py_ver = clingo_version()['python']
    if py_ver:
        return (py2 and py_ver.startswith('2')) or (py3
                                                    and py_ver.startswith('3'))

Ejemplo n.º 2

Archivo: __init__.py Proyecto: FraDS18/Prolog-Clingo-project

def have_lua_support() -> bool:
    """True if clingo supports lua"""
    return bool(clingo_version()['lua'])

Ejemplo n.º 3

def have_lua_support() -> bool:
    """True if clingo supports lua"""
    return utils.try_lua_availability_in_clingo(py3)
    return bool(clingo_version()['lua'])