[ol8_developer_EPEL] python3-pycosat-0.6.3-12.el8.x86_64

Name:python3-pycosat
Version:0.6.3
Release:12.el8
Architecture:x86_64
Group:Unspecified
Size:69014
License:MIT
RPM: python3-pycosat-0.6.3-12.el8.x86_64.rpm
Source RPM: python-pycosat-0.6.3-12.el8.src.rpm
Build Date:Thu Apr 22 2021
Build Host:jenkins-172-17-0-2-18a4300b-b7f1-4847-9922-9efb8e6b3899.blddevtest1iad.osdevelopmeniad.oraclevcn.com
Vendor:Oracle America
URL:https://github.com/ContinuumIO/pycosat
Summary:Python bindings to picosat (a SAT solver)
Description:
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.

Changelog (Show File list) (Show related packages)