Chủ sở hữu
potassco
Đã lập chỉ mục 25 kho mã nguồn · Xem trên GitHub
-
clingo
🦉 A grounder and solver for logic programs.
C++ · 833 star
-
clasp
⚙️ A conflict-driven nogood learning answer set solver
C++ · 150 star
-
clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
Python · 72 star
-
asprilo
🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
Python · 70 star
-
clingraph
🕸️ A visualizer for graphs defined as logic programs
Python · 34 star
-
clinguin
🐧 Clingo Interactive UI
Python · 30 star
-
asprin
💊 Qualitative and quantitative optimization in answer set programming
Python · 21 star
-
anthem
A translator between answer set programs and first-order logic
Rust · 15 star
-
tree-sitter-clingo
🌳 Clingo grammar for tree-sitter
JavaScript · 15 star
-
clingo-explaid
💡 Tools to aid the development of explanation systems using clingo
Python · 12 star
-
clintest
🧪 A test framework for clingo programs
Python · 8 star
-
guess_and_check
Guess and Check Answer Set Programming
Python · 6 star
-
python-project-template
📄 Template for python based projects.
Python · 6 star
-
flingo
Solver for ASP plus conditional linear constraints with founded variables
Python · 6 star
-
ngo
🤝 Non Ground Optimizer for logic programs.
Python · 5 star
-
metasp
🧬 System to facilitate meta programming in ASP with clingo
Classic ASP · 4 star
-
coom-suite
🛠️ Python package to parse and solve product configuration problems specified in COOM using ASP
Python · 4 star
-
benchmark-tool
🏁 A tool to easier generate, run and evaluate benchmarks.
Python · 3 star
-
constraint-handler
📐 Handle acyclic constraints over variables with large/infinite domains
Python · 3 star
-
clindocs
📚 Mkdocs plugin for automatic documentation in clingo
Python · 2 star
- Còn 5 kho mã nguồn nữa trên Xem trên GitHub
Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày
-
Inconsistent integer divisionĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
potassco/constraint-handler#412 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
potassco/constraint-handler#409 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Shared short-clause insertion scans the learnt chain linearly (quadratic for high-degree literals)Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
potassco/constraint-handler#401 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
potassco/constraint-handler#392 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
potassco/constraint-handler#389 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Make queries accessibleĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
potassco/tree-sitter-clingo#59 · 1 bình luận ·
-
Add support for Win-Difference MatrixCó thể làm lại được @tzschmidt đã nhận 51 ngày trước và không có pull request nào đang mở. Đang mởenhancement
potassco/benchmark-tool#64 · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
potassco/constraint-handler#369 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Env variablesCó thể làm lại được @hweichelt đã nhận 59 ngày trước và không có pull request nào đang mở. Đang mở
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
-
compile2 behaves non-deterministically in the ordering of the facts/rules producesCó thể làm lại được @MaxOstrowski đã nhận 80 ngày trước và không có pull request nào đang mở. Đang mở
potassco/constraint-handler#331 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Include bugĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Include predicatesĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
Broken link in documentation.Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100
-
An independent propagator to control the solving without enabling domain heuristicsCó thể làm lại được @daveraja đã nhận 95 ngày trước và không có pull request nào đang mở. Đang mở
potassco/constraint-handler#313 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 75/100
potassco/tree-sitter-clingo#58 · 3 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
potassco/constraint-handler#298 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Periodic stats from pythonĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
potassco/clingo#637 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
potassco/clingo#636 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Print model vs on modelĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Error handlingĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Encoding scriptĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
potassco/constraint-handler#276 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
CLI: Dynamic TagsĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
PyPi deployment?Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Permitting clingo syntax sugarĐang mởA-parsing A-syntax-tree C-feature-requested E-medium L-asp P-low
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
ground engine executionsCó thể làm lại được @AbdallahS đã nhận 130 ngày trước và không có pull request nào đang mở. Đang mở
potassco/constraint-handler#271 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Aspen transform should check safety of rules, instead of relying on the generated externals.Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Aspen Transform meta-encoding should check safety of program, not just rely on external generation.Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
potassco/clingo#631 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
potassco/benchmark-tool#61 · 2 bình luận ·
-
mkdocs serve warningCó thể làm lại được @VictosVertex đã nhận 156 ngày trước và không có pull request nào đang mở. Đang mở
potassco/constraint-handler#260 · 1 bình luận · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
potassco/constraint-handler#258 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Twice the amount of variables neededCó thể làm lại được @AbdallahS đã nhận 157 ngày trước và không có pull request nào đang mở. Đang mở
potassco/constraint-handler#257 · 3 bình luận · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
potassco/constraint-handler#253 · 3 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 50/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Unnecessary executionsCó thể làm lại được @AbdallahS đã nhận 164 ngày trước và không có pull request nào đang mở. Đang mở
potassco/constraint-handler#247 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
potassco/constraint-handler#244 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
potassco/constraint-handler#226 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100
potassco/constraint-handler#216 · 6 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 68/100
-
Passing the output of a propagator `execution_declare/5` constraint to a non-propagator constraintĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
potassco/constraint-handler#208 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Rename lengthĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100
potassco/constraint-handler#205 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
More recoverable operators.Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
potassco/constraint-handler#203 ·
Maintainer thường phản hồi trong vòng 1 ngày
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.