Owner
potassco
21 indexed repositories · View on GitHub
-
clingo
🦉 A grounder and solver for logic programs.
C++ · 833 stars
-
clasp
⚙️ A conflict-driven nogood learning answer set solver
C++ · 150 stars
-
clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
Python · 72 stars
-
clingraph
🕸️ A visualizer for graphs defined as logic programs
Python · 34 stars
-
clinguin
🐧 Clingo Interactive UI
Python · 30 stars
-
asprin
💊 Qualitative and quantitative optimization in answer set programming
Python · 21 stars
-
anthem
A translator between answer set programs and first-order logic
Rust · 15 stars
-
tree-sitter-clingo
🌳 Clingo grammar for tree-sitter
JavaScript · 15 stars
-
clingo-explaid
💡 Tools to aid the development of explanation systems using clingo
Python · 12 stars
-
clintest
🧪 A test framework for clingo programs
Python · 8 stars
-
python-project-template
📄 Template for python based projects.
Python · 6 stars
-
flingo
Solver for ASP plus conditional linear constraints with founded variables
Python · 6 stars
-
ngo
🤝 Non Ground Optimizer for logic programs.
Python · 5 stars
-
metasp
🧬 System to facilitate meta programming in ASP with clingo
Classic ASP · 4 stars
-
benchmark-tool
🏁 A tool to easier generate, run and evaluate benchmarks.
Python · 3 stars
-
constraint-handler
📐 Handle acyclic constraints over variables with large/infinite domains
Python · 3 stars
-
clindocs
📚 Mkdocs plugin for automatic documentation in clingo
Python · 2 stars
-
asplain
💬 Tool for contrastive explanations in ASP using abduction
Python · 2 stars
-
anthem-cx
🎺 A tool to automatically find counterexamples to external equivalence problems.
Python · 0 stars
-
benchmark-collection
Gathering benchmark descriptions
0 stars
- 1 more repository lives on View on GitHub
-
clingo memory error Open
Difficulty 4/5 3-5 days Newbie friendliness 42/100
-
potassco/constraint-handler#414 · 4 comments · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
potassco/constraint-handler#412 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
potassco/constraint-handler#409 ·
-
Shared short-clause insertion scans the learnt chain linearly (quadratic for high-degree literals) Open
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
potassco/constraint-handler#401 ·
-
potassco/constraint-handler#397 · 1 assignee ·
-
potassco/constraint-handler#395 · 1 assignee ·
-
Use counter or 1/2-watched literal schemes to detect expressions with 1/0 unassigned variable(s) Open
potassco/constraint-handler#394 · 2 assignees ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
potassco/constraint-handler#392 ·
-
potassco/constraint-handler#391 · 1 assignee ·
-
potassco/constraint-handler#390 · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
potassco/constraint-handler#389 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 52/100
potassco/tree-sitter-clingo#59 · 1 comment ·
-
enhancement
potassco/benchmark-tool#64 · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 20/100
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
potassco/constraint-handler#369 ·
-
Env variables Open
-
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
-
potassco/constraint-handler#331 · 1 assignee ·
-
Include bug Open
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Include predicates Open
Difficulty 3/5 1-2 days Newbie friendliness 58/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
potassco/constraint-handler#313 · 1 assignee ·
-
Difficulty 1/5 1-3 hours Newbie friendliness 75/100
potassco/tree-sitter-clingo#58 · 3 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 25/100
potassco/constraint-handler#298 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Error handling Open
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Encoding script Open
Difficulty 3/5 1-2 days Newbie friendliness 35/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
potassco/constraint-handler#276 ·
-
CLI: Dynamic Tags Open
Difficulty 3/5 1-2 days Newbie friendliness 35/100
-
PyPi deployment? Open
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
A-parsing A-syntax-tree C-feature-requested E-medium L-asp P-low
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
potassco/constraint-handler#271 · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Aspen Transform meta-encoding should check safety of program, not just rely on external generation. Open
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 48/100
potassco/benchmark-tool#61 · 2 comments ·
-
mkdocs serve warning Open
potassco/constraint-handler#260 · 1 comment · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
potassco/constraint-handler#258 ·
-
potassco/constraint-handler#257 · 3 comments · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 52/100
potassco/constraint-handler#253 · 3 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 50/100
-
potassco/constraint-handler#247 · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
potassco/constraint-handler#244 ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.