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 790K | Stars 25K |
Package | Downloads 434K | Stars 0 |
Package | Downloads 268K | Stars 31 |
Package | Downloads 242K | Stars 242 |
Package | Downloads 231K | Stars 11 |
Package | Downloads 102K | Stars 16 |
Package | Downloads 89K | Stars 7 |
Package | Downloads 74K | Stars 2 |
Package | Downloads 57K | Stars 7 |
