dlv
There are 28 repositories under dlv topic.
developit/dlv
Safe deep property access in 120 bytes. x = dlv(obj, 'a.b.x')
w1nte/vscode-dlv-syntax-highlighting
DLV syntax highlighter for Visual Studio Code.
Farfi55/RiskASP
Risk board game in Unity with Bot AI using Answer set programming
ilveron/intelligenza-artificiale
All the scripts made for the Intelligenza Artificiale (Artificial Intelligence) course @UniversitaDellaCalabria - A.Y 2022/2023
MarioAvolio/Artificial-Intelligence-for-Bomberman-Game
Implementation of Artificial Intelligence for Bomber Man Game.
AAAI-DISIM-UnivAQ/ASP_DALI
Answer Set Programming extension for the DALI MAS Framework
judge2005/BambuLights
Interface NeoPixels (aka Addressable LED Strip) with Bambu Lab Printers
pierpaolosestito-dev/ASPEditorPlugin
ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.
Subtixx/DreamlightValley
A mod to change some aspects of Dreamlight Valley, mainly remove microtransactions.
SignIn-SignUp/dlv_task_scheduler
This repository contains a DLV program that can be used to generate schedules satisfying the given constraints.
TatriX/edelve
Emacs Go Debugger
chinanf-boy/weoptions
global worker options, with id store set/get, that it 我想要有个公共 options, 但可以通过不同的ID ✅
cn0047/docker-go
🐳 This repo contains go docker images tailored for development purposes (lint, goveralls, etc).
farif/CHCReasoner
Simple Horn Clause Reasoner
Roky97/BurgerTime
BurgerTime classic game developed with AI
yoshovski/Thesis-ASP-Based-System-For-Humanitarian-Assistance
Conducted an AI research study in Poland on optimizing volunteer distribution during a refugee crisis. Case study on the influx of refugees from Ukraine into Poland due to the Russian invasion.
AlexFazio64/Gomoku
Gomoku (Gomokunarabe), or Five-in-a-Row is a tabletop game originated in Asia a long time ago.
francescobianca/SOKOBAN_IA
Progetto per il corso di Intelligenza Artificiale (UNICAL - Università delle Calabria)
itzeltlelocl/Riddle-of-the-7-Potions
DLV program that solves the "Riddle of the 7 potions" from the book "Harry Potter and the Philosopher's Stone"
joostvossers/HAP-SA
Human-Aware Planning for Situational Awareness in Indoor Police Interventions. Umeå University, 2024
mantik-org/dots-and-boxes
Pencil-and-paper game for two players
ovandriyanov/dlvim
A vim plugin for integration with Delve debugger for Go
Roky97/Sudoku
Sudoku game
youta-t/velde
dlv switcher for time-traveling gophers
leopard627/golang_random_practice
random practice
tonyvazgar/EnfermosDLV
Proyecto en el cual se crea una base de datos deductiva de DLV y se manipula con Java