Package Usage: pypi: pycosat
bindings to picosat (a SAT solver)
3 versions
Latest release: over 1 year ago
6 dependent packages
203,602 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/pypi.org/packages/pycosat
Dependent Repos 8
pierre.charpentier/wipa-a-r2d2-tool
Webcam Interface for Pressure Acquisition (shorten by WIPA) is a GUI tool-set for monitoring pressure sensor display with a webcam. This tool aim to keep track on the pressure variation and display those variations in graph as well as saving them.Last synced: about 1 year ago - Pushed: about 1 year ago
florilege-team/florilege-website
Florilège est un projet français d'annotation participative de RELs (Ressource Educatives Libres).Last synced: 8 months ago - Pushed: about 1 year ago
etalab-ia/ami-ia-dgs
Dépôt de code pour le projet AMI IA 2 de la DGS.Size: 38.1 MB - Last synced: 3 days ago - Pushed: over 2 years ago
cedar/statstical_mentions
Extracting statistical mentions from textual claims to provide trusted contentLast synced: 8 months ago