Propietario
potassco
25 repositorios indexados · Ver en GitHub
-
clingo
🦉 A grounder and solver for logic programs.
C++ · 838 estrellas
-
clasp
⚙️ A conflict-driven nogood learning answer set solver
C++ · 151 estrellas
-
clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
Python · 73 estrellas
-
asprilo
🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
Python · 70 estrellas
-
clingraph
🕸️ A visualizer for graphs defined as logic programs
Python · 34 estrellas
-
clinguin
🐧 Clingo Interactive UI
Python · 30 estrellas
-
asprin
💊 Qualitative and quantitative optimization in answer set programming
Python · 20 estrellas
-
anthem
A translator between answer set programs and first-order logic
Rust · 16 estrellas
-
tree-sitter-clingo
🌳 Clingo grammar for tree-sitter
JavaScript · 16 estrellas
-
clingo-explaid
💡 Tools to aid the development of explanation systems using clingo
Python · 12 estrellas
-
clintest
🧪 A test framework for clingo programs
Python · 8 estrellas
-
guess_and_check
Guess and Check Answer Set Programming
Python · 6 estrellas
-
python-project-template
📄 Template for python based projects.
Python · 6 estrellas
-
ngo
🤝 Non Ground Optimizer for logic programs.
Python · 6 estrellas
-
flingo
Solver for ASP plus conditional linear constraints with founded variables
Python · 6 estrellas
-
metasp
🧬 System to facilitate meta programming in ASP with clingo
Classic ASP · 4 estrellas
-
coom-suite
🛠️ Python package to parse and solve product configuration problems specified in COOM using ASP
Python · 4 estrellas
-
benchmark-tool
🏁 A tool to easier generate, run and evaluate benchmarks.
Python · 3 estrellas
-
constraint-handler
📐 Handle acyclic constraints over variables with large/infinite domains
Python · 3 estrellas
-
clindocs
📚 Mkdocs plugin for automatic documentation in clingo
Python · 2 estrellas
- 5 repositorios más están en Ver en GitHub
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
Define output of the presolvingAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
potassco/constraint-handler#428 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
potassco/constraint-handler#427 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
potassco/constraint-handler#426 ·
Los mantenedores suelen responder en 1 día
-
Inconsistent integer divisionAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
potassco/constraint-handler#412 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
potassco/constraint-handler#409 ·
Los mantenedores suelen responder en 1 día
-
Shared short-clause insertion scans the learnt chain linearly (quadratic for high-degree literals)Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
potassco/constraint-handler#401 ·
Los mantenedores suelen responder en 1 día
-
Propagator is not thread safeQuizá libre de nuevo @kstrauch94 la tomó hace 33 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#397 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Make evaluations retractableQuizá libre de nuevo @kstrauch94 la tomó hace 33 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#395 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Use counter or 1/2-watched literal schemes to detect expressions with 1/0 unassigned variable(s)Quizá libre de nuevo @MaxOstrowski la tomó hace 33 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#394 · 2 asignados ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
potassco/constraint-handler#392 ·
Los mantenedores suelen responder en 1 día
-
Improve propagator algorithms to increase performanceQuizá libre de nuevo @kstrauch94 la tomó hace 33 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#391 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Improve performance of propagator via preprocessingQuizá libre de nuevo @kstrauch94 la tomó hace 33 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#390 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
potassco/constraint-handler#389 ·
Los mantenedores suelen responder en 1 día
-
Make queries accessibleAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
potassco/tree-sitter-clingo#59 · 1 comentario ·
-
Add support for Win-Difference MatrixQuizá libre de nuevo @tzschmidt la tomó hace 60 días y no hay ningún pull request abierto. Abiertoenhancement
potassco/benchmark-tool#64 · 1 asignado ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 20/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
potassco/constraint-handler#369 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
-
compile2 behaves non-deterministically in the ordering of the facts/rules producesQuizá libre de nuevo @MaxOstrowski la tomó hace 89 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#331 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Include bugAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
-
Include predicatesAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
-
Broken link in documentation.Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100
-
An independent propagator to control the solving without enabling domain heuristicsQuizá libre de nuevo @daveraja la tomó hace 104 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#313 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 75/100
potassco/tree-sitter-clingo#58 · 3 comentarios ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
potassco/constraint-handler#298 ·
Los mantenedores suelen responder en 1 día
-
Periodic stats from pythonAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
potassco/clingo#637 · 2 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
potassco/clingo#636 · 2 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
-
Print model vs on modelAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
-
Error handlingAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Encoding scriptAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
potassco/constraint-handler#276 ·
Los mantenedores suelen responder en 1 día
-
CLI: Dynamic TagsAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
PyPi deployment?Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Permitting clingo syntax sugarAbiertoA-parsing A-syntax-tree C-feature-requested E-medium L-asp P-low
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
ground engine executionsQuizá libre de nuevo @AbdallahS la tomó hace 139 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#271 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Aspen transform should check safety of rules, instead of relying on the generated externals.Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Aspen Transform meta-encoding should check safety of program, not just rely on external generation.Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
potassco/benchmark-tool#61 · 2 comentarios ·
-
mkdocs serve warningQuizá libre de nuevo @VictosVertex la tomó hace 165 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#260 · 1 comentario · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
potassco/constraint-handler#258 ·
Los mantenedores suelen responder en 1 día
-
Twice the amount of variables neededQuizá libre de nuevo @AbdallahS la tomó hace 166 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#257 · 3 comentarios · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
potassco/constraint-handler#253 · 3 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 50/100
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Unnecessary executionsQuizá libre de nuevo @AbdallahS la tomó hace 173 días y no hay ningún pull request abierto. Abierto
potassco/constraint-handler#247 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
potassco/constraint-handler#244 ·
Los mantenedores suelen responder en 1 día
Mostrando los 100 más recientes
Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.