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 aarch64
Size 40.38 kB
Installed size 124 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)