Movatterモバイル変換

Skip to content

#

answer-set-programming

Here are 198 public repositories matching this topic...

Language:All

Filter by language

All198 Python78 Java16 Answer Set Programming10 C++8 Classic ASP7 JavaScript5 TeX5 C#4 Emacs Lisp4 HTML4

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

potassco /clingo

🦉 A grounder and solver for logic programs.

logic-programming answer-set-programming declarative-programming

UpdatedFeb 20, 2026
C++

hakank /hakank

My public programs and models - mostly combinatorial problems and puzzles

comet ampl prolog choco constraint-programming constraint-satisfaction sicstus-prolog minizinc answer-set-programming gecode essence numberjack setl picat z3py eclipse-clp jacop jgap frink poplog

UpdatedNov 27, 2025
JavaScript

uwdata /draco

Visualization Constraints and Weight Learning

vega answer-set-programming visualization-constraints visualization-recommendation

UpdatedAug 7, 2023
TypeScript

robsimmons /dusa

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

datalog logic-programming answer-set-programming forward-chaining

UpdatedFeb 20, 2026
TypeScript

MatthiasNickles /diff-SAT

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

optimization probability artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver probabilistic answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving

UpdatedJul 1, 2024
Scala

921kiyo /symbolic-rl

Symbolic Reinforcement Learning using Inductive Logic Programming

reinforcement-learning artificial-intelligence ilp answer-set-programming inductive-logic-programming symbolic-reinforcement-learning

UpdatedFeb 10, 2023
Lasso

alpha-asp /Alpha

A lazy-grounding Answer-Set Programming system

solver logic-programming answer-set-programming lazy-grounding

UpdatedNov 22, 2025
Java

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 🕌

javascript answers interview questions answer-set-programming

UpdatedNov 22, 2025

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 🔋

react javascript answers react-native interview answer-set-programming

UpdatedNov 22, 2025

ilaspltd /ILASP-releases

machine-learning artificial-intelligence logic-programming answer-set-programming inductive-logic-programming explainable-ml ilasp logic-based-learning

UpdatedNov 11, 2024

Aluriak /clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

python wrapper python-library python3 answer-set-programming

UpdatedFeb 12, 2026
Python

dpasp

kamel-usp /dpasp

Differentiable probabilistic answer set programming

probabilistic-programming logic-programming answer-set-programming probabilistic-logic-programming credal-sets neurosymbolic-ai

UpdatedJun 23, 2025
C

CookedUp

Farfi55 /CookedUp

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

game unity unity3d answer-set-programming unical overcooked

UpdatedOct 4, 2023
C#

joshuaguerin /Answer-Set-Programming-Algorithms

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

language computer-science education algorithm programming algorithms logic constraint-satisfaction-problem oer np-hard np-complete software-engineering constraint-programming logic-programming clingo answer-set-programming open-educational-resource aspa stable-models asp-for-all

UpdatedFeb 17, 2026
Python

py-typedlogic /py-typedlogic

Logic plus python types

python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml

UpdatedDec 21, 2025
Python

bnediction /bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

systems-biology synthesis answer-set-programming boolean-networks

UpdatedFeb 6, 2026
Python

bramucas /xclingo2

A tool for explainability and debugging in Answer Set Programming.

logic-programming answer-set-programming debugging-tool explainability

UpdatedMar 25, 2025
Python

RiskASP

Farfi55 /RiskASP

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

game csharp unity risk artificial-intelligence clingo answer-set-programming unity2d unical dlv embasp

UpdatedJun 7, 2023
C#

santifa /pasp-mode

An Emas Major Mode for editing Answer Set Programs

emacs answer-set-programming major-mode

UpdatedApr 4, 2018
Emacs Lisp

vscode-dlv-syntax-highlighting

w1nte /vscode-dlv-syntax-highlighting

DLV syntax highlighter for Visual Studio Code.

syntax-highlighting asp vscode-extension answer-set-programming dlv

UpdatedNov 15, 2020

Improve this page

Add a description, image, and links to theanswer-set-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theanswer-set-programming topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2026 Movatter.jp