Package details
Package py3-pycosat
Version 0.6.3-r1
Description Python bindings to picosat (a SAT solver)
Project https://github.com/ContinuumIO/pycosat
License MIT
Branch edge
Repository testing
Architecture armv7
Size 36.39 kB
Installed size 104 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)