python-pycosat

Paket-Details

Name python-pycosat
Version 0.6.3-3
Beschreibung Python 3 bindings to picosat (a SAT solver)
URL https://github.com/ContinuumIO/pycosat
Lizenzen MIT
Repositorium community
Architektur x86_64
Packer Felix Yan
Erstellt am 04.11.2019 07:14
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket python-pycosat-0.6.3-3-x86_64.pkg.tar.xz
PGP-Signatur python-pycosat-0.6.3-3-x86_64.pkg.tar.xz.sig
Paket-Größe 45,07 KByte
Installations-Größe 125,98 KByte

Abhängigkeiten

von

Bauen von

optional für

Dateien