python-simplesat 0.8.2-3

Architecture: any
Repository: Community
Description: SAT solver for use in Enstaller, based on the MiniSat implementation
Upstream URL:
License(s): MIT
Maintainers: Filipe Laíns
Package Size: 208.6 KB
Installed Size: 2.0 MB
Last Packager: Evangelos Foutras
Build Date: 2020-11-12 13:41 UTC
Signed By: Evangelos Foutras
Signature Date: 2020-11-12 13:42 UTC
Last Updated: 2020-12-02 04:40 UTC