Package details
Package py3-pycosat
Version 0.6.3-r0
Description Python bindings to picosat (a SAT solver)
License MIT
Branch edge
Repository testing
Architecture ppc64le
Size 44.29 kB
Installed size 136 kB
Origin py3-pycosat
Maintainer Jakub Jirutka
Build time 2019-05-07 19:57:18
Commit b9f64b8e10b53bae180d82b204c467ac76de9209
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (0)