GitHub topics: answer-set-programming
lcian/tree-sitter-gringo
🌳 Tree-sitter grammar for gringo (ASP Logic Programming) – Forked from potassco/tree-sitter-clingo
Language: JavaScript - Size: 168 KB - Last synced at: about 21 hours ago - Pushed at: about 23 hours ago - Stars: 0 - Forks: 0
GugaCallegari/SNU_2D_ProgrammingTools_IDE_Answer-Set-Programming
🛠️ Develop and enhance 2D programming tools for Answer Set Programming in an IDE setting, streamlining your coding experience and boosting efficiency.
Size: 1.49 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
CaptainUnbrauchbar/asp-language-support
A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).
Language: JavaScript - Size: 8.21 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 10 - Forks: 3
potassco/clingo
🦉 A grounder and solver for logic programs.
Language: C++ - Size: 22.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 709 - Forks: 90
krr-up/flatland
A collection of the ongoing research project into the Flatland competition.
Language: Answer Set Programming - Size: 160 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 5 - Forks: 6
ovidiomanteiga/deolingo
Deontic logic solver in ASP with Clingo
Language: Python - Size: 191 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 3 - Forks: 0
yvoawk/CASPER
A Clinical ASP-based Event Recognition System
Language: Answer Set Programming - Size: 1.49 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0
robsimmons/dusa
A logic programming language that has features of both Datalog and answer set programming.
Language: TypeScript - Size: 3.33 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 118 - Forks: 7
py-typedlogic/py-typedlogic
Logic plus python types
Language: Python - Size: 5.17 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 15 - Forks: 1
uwdata/draco
Visualization Constraints and Weight Learning
Language: TypeScript - Size: 38.6 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 232 - Forks: 30
abhipatel35/Automated-Warehouse-Project
A project showcasing a scheduling algorithm to optimize warehouse robot coordination for efficient product delivery and order fulfillment.
Language: Classic ASP - Size: 889 KB - Last synced at: 29 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
namin/argument-debugger
a system for analyzing and repairing arguments
Language: Python - Size: 731 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0
ormai/hypersonic
Bomberman-like, turn-based game played by two competing AI Agents
Language: Python - Size: 33 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 3
abertagnon/aspect
An intuitive and declarative way to graphically represent answer sets in LaTeX
Language: Java - Size: 4.49 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
hweichelt/explaidllm
CLI tool for debugging clingo using a combination of MUS and LLMs
Language: Python - Size: 11.7 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
seanpm2001/SNU_2D_ProgrammingTools_IDE_Answer-Set-Programming
⌨️ The Answer Set Programming programming language IDE submodule for SNU Programming Tools (2D Mode)
Language: Answer Set Programming - Size: 244 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
seanpm2001/Learn-Answer-Set-Programming
📚️ A repository for showcasing my knowledge of the Answer Set Programming programming language, and continuing to learn the language.
Language: Answer Set Programming - Size: 251 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
raceconditionrunning/relay-scheduler
Scheduling team marathon relays with Answer Set Programming
Language: Python - Size: 301 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0
dodaro/cnl2asp
A tool for converting CNL sentences to ASP rules.
Language: Python - Size: 758 KB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 8 - Forks: 1
alpha-asp/Alpha
A lazy-grounding Answer-Set Programming system
Language: Java - Size: 31.8 MB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 63 - Forks: 12
bnediction/bonesis
Synthesis and Reprogramming of Most Permissive Boolean Networks
Language: Python - Size: 641 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 13 - Forks: 2
brownbear51120-blip/Passing-Questions-DP-700-Exam-
Just passed the DP-300 exam, and PassCertHub was a huge help
Size: 1000 Bytes - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
fabiikraus/nonograsp Fork of danioellay/gramcracker
An ASP-based Nonogram generator & solver GUI
Size: 3.43 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
drwadu/asflp
answer set programming feat. logical neural networks
Language: Haskell - Size: 6.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
jcrozum/biobalm
The biologist's Boolean attractor landscape mapper, building Waddington landscapes from Boolean networks.
Language: Python - Size: 69.2 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Language: JavaScript - Size: 59.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 384 - Forks: 78
joshuaguerin/Answer-Set-Programming-Algorithms
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
Language: Python - Size: 11.9 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 22 - Forks: 1
SonalJayasinghe/clingo_and_sparc
Answer Set Programming (පිළිතුරු කට්ටල වැඩසටහන්කරණය)
Language: SourcePawn - Size: 277 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
kamel-usp/dpasp
Differentiable probabilistic answer set programming
Language: C - Size: 810 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 26 - Forks: 5
bramucas/xclingo2
A tool for explainability and debugging in Answer Set Programming.
Language: Python - Size: 226 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 15 - Forks: 5
JamesMichael44/ISC2-CC-Exam-Passing-Questions-and-Answers
ISC2 CC (Certified in Cybersecurity) Exam
Size: 0 Bytes - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
lukeswissman/inca
Faceted Answer-Set Navigation
Language: Python - Size: 476 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
OliverConnor7/HP-Designing-High-End-HPE-Storage-Platforms
Master the art of Designing High-End HPE Storage Platforms with expert resources from PassCertHub. Boost your skills, prep smarter, and confidently tackle your HPE certification goals.
Size: 1.95 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
cfrioux/miscoto
Python package for large-scale community selection in microbiota
Language: Python - Size: 287 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0
pathmodel/pathmodel
Prototype to infer new biochemical reactions and new metabolite structures to investigate metabolic pathway drift.
Language: Python - Size: 892 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 1
merendamattia/ottimizzazione-garanti-accademici Fork of simonecolli/ottimizzazione-garanti-accademici
Answer Set Programming (ASP)-based tool for optimizing the assignment of academic guarantors to university courses.
Language: Answer Set Programming - Size: 9.26 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
Alessandro624/hypersonic Fork of ormai/hypersonic
Bomberman-like, turn-based game played by two competing AI Agents
Language: Python - Size: 33 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
janheuer/here-and-there-agda
Implementation of the logic of here-and-there in Agda as the logical foundations of Answer Set Programming (ASP)
Language: Agda - Size: 229 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0
drwadu/fasb
faceted answer set browser
Language: Rust - Size: 4.32 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0
Kangonaut/neurasp-crafting
Basic crafting implemented with STRIPS planning to showcase the NeurASP architecture.
Language: Python - Size: 178 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
TEN-framework/ten_framework.bak
The world’s first real-time, distributed, cloud-edge collaborative multimodal AI Agent Framework that simultaneously supports C/C++/Go/Python/JS/TS
Language: C - Size: 123 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 5 - Forks: 1
simocaruso/sbvr2asp
A tool for converting SBVR specifications into ASP.
Language: Python - Size: 116 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
MatthiasNickles/Diff-ASP-Propagators
Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodel optimization. For Clingo (https://potassco.org/) + Python
Language: Answer Set Programming - Size: 24.4 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0
tsither/amtrak
Using Answer Set Programming to solve Flatland, a vehicle re-scheduling problem (VRSP) simulation.
Language: Python - Size: 168 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
GabrielCellammare/Formal-Methods-for-Optimized-and-Verified-Drone-Delivery-Systems
This project combines Answer Set Programming for optimal drone delivery route planning with temporal logic verification of flight maneuvers. It balances distance and energy costs while formally verifying safety properties, providing mathematical guarantees for autonomous drone operations
Size: 0 Bytes - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
osryde/Move-Blocks
Project for the Declarative Programming Course at the University of Parma
Language: Classic ASP - Size: 771 KB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
drwadu/savan
answer set navigation library
Language: Rust - Size: 98.6 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
simonecolli/ottimizzazione-garanti-accademici
Tool basato su Answer Set Programming (ASP) per l'ottimizzazione dell'assegnazione dei garanti accademici ai corsi universitari.
Language: Python - Size: 9.26 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 1
pdeibert/ASPy
Answer Set Programming (ASP) in Python.
Language: Python - Size: 827 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
pdeibert/GroundSLASH
Parser & grounder for the SLASH language.
Language: Python - Size: 957 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
Aluriak/se-lang
A programmable language for SpaceEngine addons
Language: Python - Size: 56.6 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 0
Pierf22/Secure-ASP
Application for securely managing and sharing signed ASP encodings
Language: Python - Size: 27.9 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
rmr-henriques/ezasp
This project is my master's dissertation, a Visual Studio Code extension tailored to aid newcomers to Answer Set Programming with their encodings.
Language: JavaScript - Size: 1.05 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
DanieleF198/ILASP-as-post-hoc-method-in-a-preference-system
Project about experiments of the use of ILASP as a post-hoc method over black-box models, in which we also study and approach technical issues like exponential time execution.
Language: Lasso - Size: 370 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
4rn3/connect_four_asp
Final project for my model based AI class in which we use Answer Set Programming (clingo)
Language: Python - Size: 806 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
lcian/gringo-language-server
🛠️ Language Server for gringo (Answer Set Programming)
Language: Rust - Size: 10.7 KB - Last synced at: 9 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
StarKnightt/Calculator-using-java
This is a Calculator using java which has some graphics and you can also touch the buttons and you can calculate also.
Language: Java - Size: 39.1 KB - Last synced at: 23 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 4
Aluriak/PowerGrASP
Compress graphs
Language: Python - Size: 19.7 MB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 1
anarubioruiz/sosac-reasoner
ASP inference engine designed for automatic IoT context knowledge generation.
Language: Python - Size: 1.3 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1
Aluriak/PowerGrASP-1
Graph compression with FCA and ASP. New versions at:
Language: Python - Size: 1.11 MB - Last synced at: 7 months ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1
Aluriak/clyngor
Handy python wrapper around Potassco's Clingo ASP solver.
Language: Python - Size: 401 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 34 - Forks: 7
thesofakillers/iclingo
🔴🟢🔵 clingo kernel for Jupyter
Language: Python - Size: 444 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 1
Adamouization/ASP-Timetable
:calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
Language: Python - Size: 353 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0
lorenzotabasso/IALAB-1920
Repository for the IALab exam's projects, A.Y. 2019-2020. Developer with love by Roger Ferrod, Pio Raffaele Fina and Lorenzo Tabasso.
Language: HTML - Size: 68 MB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
forestagostinelli/SpecGoal
Code for Specifying Goals to Deep Neural Networks with Answer Set Programming
Language: Python - Size: 4.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
Aluriak/concept-generation
Comparison and testing of multiple concept generation method using ASP
Language: Python - Size: 117 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Language: Scala - Size: 2.24 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 61 - Forks: 3
Aluriak/learning-ASP
Personal learning repository for Answer Set Programming
Language: Python - Size: 29.3 KB - Last synced at: 7 months ago - Pushed at: about 7 years ago - Stars: 9 - Forks: 0
ryuk4real/asp-fast-api
An API for running ASP programs
Language: Python - Size: 69.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
koonwen/The-C-Programming-Language-Exercises
A Repo containing my exercise solutions for "The C Programming Language" - by Brian Kernighan and Dennis Ritchie
Language: C - Size: 458 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
samuelortion/ob-pasp
Org-Babel mode to execute Clingo Potassco code within Org-mode
Language: Emacs Lisp - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
pierpaolosestito-dev/ASPEditorPlugin
ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.
Language: TypeScript - Size: 9.26 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 1
OllieKampo/anivia
A wrapper for easing the integration of Answer Set Programs to Python with Clingo 4.
Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
sarthak310/Automated-Warehouse
- Programmed a state-of-the-art solution for robot-driven order fulfilment using Answer Set Programming - Formed step-by-step environmental constraints (rules) in Clingo for collision-free movement of robots - Tested and validated the code with 5 simulated warehouse scenarios, optimized product delivery time
Language: Classic ASP - Size: 202 KB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
mathieubolteau/scRNA2BoNI
scRNA2BoNI - A general framwork to infer Boolean networks from scRNAseq data.
Language: Python - Size: 78.8 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
davidedellagiustina/qasp-solver
Quantum algorithms for solving ASP programs. MSc thesis project.
Language: Python - Size: 149 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
921kiyo/symbolic-rl
Symbolic Reinforcement Learning using Inductive Logic Programming
Language: Lasso - Size: 78.2 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 59 - Forks: 10
Farfi55/RiskASP
Risk board game in Unity with Bot AI using Answer set programming
Language: C# - Size: 6.22 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 2
MatthiasNickles/fol2asp
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
Language: Scala - Size: 66.4 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
barreeeiroo/JSON-Logic-ASP
Evaluate JSON Logic rules in Python using ASP with Clingo
Language: Python - Size: 205 KB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
VictosVertex/flatland-asp
Application of Answer Set Programming to the Flatland environment
Language: Python - Size: 129 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
w1nte/bachelor-thesis-asp-upms-tuning
Performance Tuning of Answer-Set-Programming Encoded Parallel Machine Scheduling Problems with Setup Times
Language: Python - Size: 78.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
w1nte/vscode-dlv-syntax-highlighting
DLV syntax highlighter for Visual Studio Code.
Size: 104 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 12 - Forks: 0
GabryV00/AutomatedReasoning-Project
Modeling the most efficient path problem in MiniZinc and in Logic Programming
Language: Python - Size: 297 KB - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
vaishnavibatni/PersonalTourGuide
A tour guide personalized as per the user's requirements
Language: C++ - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
drwadu/minifasb
core library for answer set navigation
Language: Rust - Size: 223 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
iliakur/c-u-later-elevator
Language: TeX - Size: 404 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
gaste/gringo-wrapper
A wrapper for gringo that takes a logic program as input, translates it to the debugging program, and outputs the grounded debugging program.
Language: Java - Size: 101 KB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 2 - Forks: 0
gaste/dwasp-gui
A graphical user interface for debugging faulty ASP programs with gringo-wrapper and DWASP.
Language: Java - Size: 341 KB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 3 - Forks: 0
gaste/dwasp Fork of alviano/wasp
A modified version of the ASP solver WASP that enables the debugging of incoherent ASP programs together with gringo-wrapper.
Language: Python - Size: 12.8 MB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 1 - Forks: 1
Farfi55/CookedUp
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
Language: C# - Size: 6.95 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0
kwrx/qasp
A new solver for asp programs with quantifiers over stable models
Language: C++ - Size: 12.1 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
jachymb/lights-out
Minimalistic, declarative lights out problem solver
Size: 17.6 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
zucchi99/Project-Automated-Reasoning
Calculation of a possible sharing of a quota between entities with different priorities and many constraints, using SAT-Solver or Answer Set Programming
Language: Python - Size: 1.07 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
santifa/pasp-mode
An Emas Major Mode for editing Answer Set Programs
Language: Emacs Lisp - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 5
NEKERAFA/CS-IndustryLP
An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)
Language: C# - Size: 37.6 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 1
cutecryptid/minish-hat
Logic Program and Theories minimization in ASP, for ASP, by ASP.
Language: Python - Size: 150 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
AAAI-DISIM-UnivAQ/ASP_DALI
Answer Set Programming extension for the DALI MAS Framework
Language: JavaScript - Size: 199 KB - Last synced at: over 1 year ago - Pushed at: about 10 years ago - Stars: 4 - Forks: 1
MatthiasNickles/Satalyzer
A lightweight tool for the visualization and analysis of event log files (JSON format) generated by SAT, ASP, SMT and other kinds of constraint solvers
Language: Scala - Size: 479 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
sefeoglu/PathFindingwithObstacle
PathFinding Problem with Obstacle Avoidance
Language: Python - Size: 28.3 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
