Package details
Package py3-pycosat
Version 0.6.3-r1
Description Python bindings to picosat (a SAT solver)
License MIT
Branch edge
Repository testing
Architecture ppc64le
Size 43.62 kB
Installed size 136 kB
Origin py3-pycosat
Maintainer Jakub Jirutka
Build time 2019-11-05 15:35:41
Commit 1dc491147ee74c656a40e5ccd2331c0750f56e6d
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (0)