Package details
Package py3-pycosat
Version 0.6.3-r2
Description Python bindings to picosat (a SAT solver)
License MIT
Branch edge
Repository testing
Architecture ppc64le
Size 44.22 kB
Installed size 136 kB
Origin py3-pycosat
Maintainer Jakub Jirutka
Build time 2021-04-05 18:19:31
Commit 54535f3c2878edcbbb6e7e29202a5cbad078d9cd
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (0)