answer-set-programming 开源项目推荐（242 个）

potassco /clingo

🦉 A grounder and solver for logic programs.

hakank /hakank

My public programs and models - mostly combinatorial problems and puzzles

uwdata /draco

Visualization Constraints and Weight Learning

robsimmons /dusa

A logic programming language that has features of both Datalog and answer set programming.

MatthiasNickles /diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

alpha-asp /Alpha

A lazy-grounding Answer-Set Programming system

921kiyo /symbolic-rl

Symbolic Reinforcement Learning using Inductive Logic Programming

Hazrat-Ali9 /React-Interview-Question

🏘 React 🏩 Interview 🚂 Question 🚃 is 🏯 a 🏨 curated 🚋 collection ✈ of 🚁 React.js 🛸 interview 🛫 questions 🚞 deep ☂ explanations ⛱ hands ⛴ on ⚽ examples ⚾ and 🥎 coding 🏀 challenges 🏐 designed 🏈 to 🏉 help 🎳 developers ⛸ prepare 🧸 frontend 🏏and 🎁 full 📔 stack 📕 interviews 🪣 with 📘 confidence 🔋

Hazrat-Ali9 /JavaScript-Interview-Question

🤖 JavaScript 🥶 Interview 🤢 Question 🤡 is 🚅 a 👽 comprehensive 🐸 collection 🐳 of 🚈 essential 🐡 JavaScript 🪲 questions 🪰 explanations 🐙 and 🍊 coding 🍎 exercises 🍏 designed 🌰 to ⛪ help 🫑 developers ✈ prepare 🚀 technical 🚁 interviews 🚟 coding 🚠 assessments 🚢 and 🛫 real 🛬 world 🛼 problem 🚞 solving 🕌

ilaspltd /ILASP-releases

该项目在 GitHub 上没有填写描述

Aluriak /clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

kamel-usp /dpasp

Differentiable probabilistic answer set programming

joshuaguerin /Answer-Set-Programming-Algorithms

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Farfi55 /CookedUp

Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP

py-typedlogic /py-typedlogic

Logic plus python types

bramucas /xclingo2

A tool for explainability and debugging in Answer Set Programming.

Farfi55 /RiskASP

Risk board game in Unity with Bot AI using Answer set programming

bnediction /bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

santifa /pasp-mode

An Emas Major Mode for editing Answer Set Programs

potassco /clingo-explaid

💡 Explaining unsatisfiability in ASP