Projects: pypi: clingo
https://packages.ecosyste.ms/registries/pypi.org/packages/clingo
CFFI-based bindings to the clingo solver.
6 versions
Latest release: almost 4 years ago
22 dependent packages
10,544 downloads last month
Enhanced Analysis
Repository Activity:
Repository Owner:
Potassco (organization)
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam Academic
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam Academic
README Analysis:
Science Score: 100/100
Starting Score: 100 points
Bonuses:
-
+20
Academic repository owner
Repository owned by academic institution -
+15
Institutional repository owner
Repository owned by research institution -
+2
Science terms in README
1 scientific terms found in README
Penalties:
-
-10
PyPI ecosystem
General-purpose ecosystem -
-15
No science keywords
No scientific terms found in keywords/classifiers -
-10
No science terms in description
No scientific terms found in description
Very Likely Science (100)
Papers Mentioning clingo 9
10.1186/s13015-019-0145-8
Repairing Boolean logical models from time-series data using Answer Set ProgrammingCited by: 3
Author(s): Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Software Mentions: 3
Published: over 7 years ago
10.1186/s12859-018-2034-4
Discriminate the response of Acute Myeloid Leukemia patients to treatment by using proteomics data and Answer Set ProgrammingCited by: 6
Author(s): Lokmane Chebouba, Bertrand Miannay, Dalila Boughaci, Carito Guziołowski
Software Mentions: 2
Published: over 8 years ago
10.1186/s12859-021-04158-9
A detailed map of coupled circadian clock and cell cycle with qualitative dynamics validationCited by: 3
Author(s): Adrien Rougny, Loı̈c Paulevé, Michèle Teboul, Franck Delaunay
Software Mentions: 2
Published: over 5 years ago
10.1186/s12918-016-0285-0
Qualitative dynamics semantics for SBGN process descriptionCited by: 5
Author(s): Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loı̈c Paulevé
Software Mentions: 2
Published: about 10 years ago
10.1186/s13015-017-0110-3
Identification of bifurcation transitions in biological regulatory networks using Answer-Set ProgrammingCited by: 7
Author(s): Louis Fippo Fitime, Olivier Roux, Carito Guziołowski, Loı̈c Paulevé
Software Mentions: 2
Published: about 9 years ago
10.1371/journal.pone.0040946
Identifying Novel Drug Indications through Automated ReasoningCited by: 16
Author(s): Luis Tari, Nguyen Vo, Shanshan Liang, Jagruti Patel, Chitta Baral, James J. Cai
Software Mentions: 2
Published: about 14 years ago
10.1371/journal.pcbi.1006538
Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course dataCited by: 24
Author(s): Misbah Razzaq, Loı̈c Paulevé, Anne Siegel, Julio Sáez-Rodríguez, Jérémie Bourdon, Carito Guziołowski
Software Mentions: 1
Published: almost 8 years ago
10.1038/s41598-018-26006-2
A logic-based method to build signaling networks and propose experimental plansCited by: 5
Author(s): Adrien Rougny, Pauline Gloaguen, Nathalie Langonné, Eric Reiter, Pascale Crépieux, Anne Poupon, Christine Froidevaux
Software Mentions: 1
Published: over 8 years ago
10.1186/s12918-018-0551-4
Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC dataCited by: 3
Author(s): Bertrand Miannay, Stéphane Minvielle, Florence Magrangeas, Carito Guziołowski
Software Mentions: 1
Published: over 8 years ago