Pinned Repositories
ggp-hsfc
High Speed Forward Chaining engine for General Game Playing
bash-hacks
Bash modules
baxter_simulator
Gazebo Simulation interface for the Baxter Research Robot
benchmark-tool
🏎️ Git-mirror of the benchmark-tool
clingcon
Extension of clingo to handle constraints over integers
clingo
A grounder and solver for logic programs.
clingraph
🕸️ A visualizer for graphs defined as logic programs
pyggputils
GGP utilities and functions for Python
toh_webservice
Running Clingo as a FastAPI webservice to solve the Towers of Hanoi problem
clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
daveraja's Repositories
daveraja/toh_webservice
Running Clingo as a FastAPI webservice to solve the Towers of Hanoi problem
daveraja/bash-hacks
Bash modules
daveraja/baxter_simulator
Gazebo Simulation interface for the Baxter Research Robot
daveraja/benchmark-tool
🏎️ Git-mirror of the benchmark-tool
daveraja/clingcon
Extension of clingo to handle constraints over integers
daveraja/clingo
A grounder and solver for logic programs.
daveraja/clingraph
🕸️ A visualizer for graphs defined as logic programs
daveraja/conda
My conda recipes
daveraja/pyggputils
GGP utilities and functions for Python
daveraja/conda-1
Conda recepies for potassco projects
daveraja/pasp-mode
An Emas Major Mode for editing Answer Set Programs
daveraja/systems
daveraja/tefoli
🐙 Theory Loading For Clingo