Package python-module-pyices: Information

    Source package: python-module-pyices
    Version: 0.2-alt2.git20140507
    Build time:  Mar 6, 2018, 10:30 AM in the task #201413
    Category: Development/Python
    Report package bug
    Gear: https://git.altlinux.org/gears/p/python-module-pyices.git?a=tree…
    Home page: https://github.com/cheshire/pyices
    License: Free
    Summary: Python bindings for Yices SMT solver
    Description: 
    Python bindings for Yices SMT solver. Works as a layer on top of C API,
on top of the layer generated by ctypesgen.
    List of rpms provided by this srpm:
    python-module-pyices (x86_64, i586)
    python-module-pyices-tests (x86_64, i586)
    Maintainer: Aleksei Nikiforov
    List of contributors:
    Aleksei Nikiforov
    Stanislav Levin
    Eugeny A. Rostovtsev
      1. libyices-devel
      2. python-devel
      3. python-module-ctypesgen
      4. python-module-nose
      5. python-module-setuptools

    Last changed

    March 5, 2018 Aleksei Nikiforov 0.2-alt2.git20140507
    - Cleaned up spec and fixed build.
    Feb. 2, 2018 Stanislav Levin 0.2-alt1.git20140507.1
    - (NMU) Fix Requires and BuildRequires to python-setuptools
    March 16, 2015 Eugeny A. Rostovtsev 0.2-alt1.git20140507
    - Initial build for Sisyphus
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.5.3
    Back to top