CMD + K
Sign In
Sign Up
c4aarch64
/
pycosat
pycosat
Community
Bindings to picosat (a SAT solver)
Overview
Files
1
Labels
1
Badges
Name
Type
Version
Platform
Labels
Updated
Size
Downloads
Actions
linux-aarch64/pycosat-0.6.3-py37h7b6447c_0.tar.bz2
conda
0.6.3
linux-aarch64
main
Jan 10, 2019, 03:23 PM
104.27 KB
1.1K
1
25
items per page
1 - 1 of 1 items
Filters
Versions
Architecture
Size (MB)
to
Upload Date
to
Labels
Clear
