python3-pycosat-0.6.3-6.fc30.x86_64.rpm


Advertisement

Description

python3-pycosat - Python bindings to picosat (a SAT solver)

Property Value
Distribution Fedora 30
Repository Fedora x86_64
Package filename python3-pycosat-0.6.3-6.fc30.x86_64.rpm
Package name python3-pycosat
Package version 0.6.3
Package release 6.fc30
Package architecture x86_64
Package type rpm
Homepage https://github.com/ContinuumIO/pycosat
License MIT
Maintainer -
Download size 18.32 KB
Installed size 35.21 KB
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level, i.e.
when importing pycosat, the picosat solver becomes part of the Python process
itself.

Alternatives

Package Version Architecture Repository
python3-pycosat-0.6.3-6.fc30.i686.rpm 0.6.3 i686 Fedora
python3-pycosat - - -

Requires

Name Value
libc.so.6(GLIBC_2.4)(64bit) -
libpicosat.so.0()(64bit) -
libpython3.7m.so.1.0()(64bit) -
python(abi) = 3.7
rtld(GNU_HASH) -

Provides

Name Value
python3-pycosat = 0.6.3-6.fc30
python3-pycosat(x86-64) = 0.6.3-6.fc30
python3.7dist(pycosat) = 0.6.3
python3dist(pycosat) = 0.6.3

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package python3-pycosat-0.6.3-6.fc30.x86_64.rpm
Source Package python-pycosat-0.6.3-6.fc30.src.rpm

Install Howto

Install python3-pycosat rpm package:

# dnf install python3-pycosat

Files

Path
/usr/lib/.build-id/
/usr/lib/.build-id/ee/55c2d6bdcaf74e2900cb11466f2aafec119830
/usr/lib64/python3.7/site-packages/pycosat.cpython-37m-x86_64-linux-gnu.so
/usr/lib64/python3.7/site-packages/pycosat-0.6.3-py3.7.egg-info/PKG-INFO
/usr/lib64/python3.7/site-packages/pycosat-0.6.3-py3.7.egg-info/SOURCES.txt
/usr/lib64/python3.7/site-packages/pycosat-0.6.3-py3.7.egg-info/dependency_links.txt
/usr/lib64/python3.7/site-packages/pycosat-0.6.3-py3.7.egg-info/top_level.txt
/usr/share/doc/python3-pycosat/CHANGELOG
/usr/share/doc/python3-pycosat/README.rst
/usr/share/licenses/python3-pycosat/LICENSE

Changelog

2019-02-02 - Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-10-07 - Orion Poplawski <orion@nwra.com> - 0.6.3-5
- Drop Python 2 package for Fedora 30+ (bugz #1634962)
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-06-19 - Miro HronĨok <mhroncok@redhat.com> - 0.6.3-3
- Rebuilt for Python 3.7
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-02-05 - Orion Poplawski <orion@cora.nwra.com> - 0.6.3-1
- Update to 0.6.3
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.6.1-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 0.6.1-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-11 - Fedora Release Engineering <releng@fedoraproject.org> - 0.6.1-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild

See Also

Package Description
python3-pycountry-18.12.8-2.fc30.noarch.rpm ISO country, subdivision, language, currency and script definitions and their translations
python3-pycparser-2.14-18.fc30.noarch.rpm C parser and AST generator written in Python
python3-pycryptodomex-3.8.1-2.fc30.x86_64.rpm A self-contained cryptographic library for Python
python3-pycscope-1.2.1-18.fc30.noarch.rpm Generates a cscope index of Python source trees
python3-pycurl-7.43.0.2-6.fc30.x86_64.rpm Python interface to libcurl for Python 3
python3-pycxx-devel-7.1.2-1.fc30.noarch.rpm PyCXX header and source files
python3-pydbus-0.6.0-8.fc30.noarch.rpm Pythonic DBus library
python3-pydenticon-0.3.1-6.fc30.noarch.rpm Library for generating identicons
python3-pydicom-1.2.2-1.fc30.noarch.rpm Read, modify and write DICOM files with python code
python3-pydispatcher-2.0.5-6.fc30.noarch.rpm Multi-producer-multi-consumer signal dispatching mechanism
python3-pydocstyle-2.0.0-8.fc30.noarch.rpm Python docstring style checker
python3-pydot-1.2.4-6.fc30.noarch.rpm Python3 interface to Graphviz's Dot language
python3-pydotplus-2.0.2-12.fc30.noarch.rpm Python interface to Graphviz's Dot language
python3-pyeclib-1.5.0-9.fc30.x86_64.rpm Python 3 interface to erasure codes
python3-pyelftools-0.24-4.fc30.noarch.rpm Pure-Python library for parsing and analyzing ELF files
Advertisement
Advertisement