Data

Tools

Indexes

Applications

Experiments

Repos

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: environ 2 ans 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: plus d'un an ago - Pushed: plus d'un an ago

florilege-team/florilege-website
Florilège est un projet français d'annotation participative de RELs (Ressource Educatives Libres).

Last synced: environ un an ago - Pushed: plus d'un an ago

abes-esr/labo-indexation-ai

Size: 102 Mo - Last synced: environ 5 heures ago - Pushed: 7 mois ago

etalab-ia/ami-ia-dgs
Dépôt de code pour le projet AMI IA 2 de la DGS.

Size: 38,1 Mo - Last synced: 1 jour ago - Pushed: presque 3 ans ago

cedar/statstical_mentions
Extracting statistical mentions from textual claims to provide trusted content

Last synced: environ un an ago

comprise/deliverables/deliverable_d22

Last synced: environ un an ago

comprise/deliverables/deliverable_d23

Last synced: environ un an ago

comprise/voice_transformation

Last synced: environ un an ago