Репозиторий Sisyphus
Последнее обновление: 21 апреля 2019 | Пакетов: 17658 | Посещений: 13443031
en ru br
Репозитории ALT
S:0.2-alt2.git20140507
www.altlinux.org/Changes

Группа :: Разработка/Python
Пакет: python-module-pyices

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 0.2-alt2.git20140507
Время сборки: 6 марта 2018, 07:25 ( 58.8 недели назад )
Размер архива: 7957 b

Домашняя страница:   https://github.com/cheshire/pyices

Лицензия: Free
О пакете: Python bindings for Yices SMT solver
Описание:

Python bindings for Yices SMT solver. Works as a layer on top of C API,
on top of the layer generated by ctypesgen.

Текущий майнтейнер: Aleksei Nikiforov

Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:

Список rpm-пакетов, предоставляемый данным srpm-пакетом:

  • python-module-pyices
  • python-module-pyices-tests
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin