LoadingLoadingAuthor: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
Author Email: alexey.ignatiev@monash.edu, joao.marques-silva@univ-toulouse.fr, ajrmorgado@gmail.com
License: MIT
Summary: A Python library for prototyping with SAT oracles
LoadingCan't find the visual you need? Build your own here
LoadingDownloads over time
LoadingTop versions
LoadingDownloads by Python version over time
LoadingTop contributors
LoadingDownloads by system over time
LoadingRelated packages
LoadingDownloads by country
LoadingFile types by installer
LoadingPackage | Downloads | Stars |
|---|---|---|
Package | Downloads 844K | Stars 25K |
Package | Downloads 435K | Stars 0 |
Package | Downloads 271K | Stars 31 |
Package | Downloads 244K | Stars 242 |
Package | Downloads 232K | Stars 11 |
Package | Downloads 102K | Stars 16 |
Package | Downloads 89K | Stars 7 |
Package | Downloads 74K | Stars 2 |
Package | Downloads 58K | Stars 7 |
