An open API service providing repository metadata for many open source software ecosystems.

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

abes-esr/labo-indexation-ai

Size: 102 MB - Last synced: about 8 hours ago - Pushed: 3 months 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 content

Last synced: 8 months ago

comprise/deliverables/deliverable_d22

Last synced: 8 months ago

comprise/deliverables/deliverable_d23

Last synced: 8 months ago

comprise/voice_transformation

Last synced: 8 months ago