Pinned Repositories
atlingo
Automata for dynamic answer set solving
clingraph
🕸️ A visualizer for graphs defined as logic programs
clinguin
🐧 Clingo Interactive UI
telingo
🕰️ A solver for temporal programs.
alpha-zero-general
A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4
asp-game-ml-strategies
asp-game-strategies
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:
awsome-factory-associator
Provides a syntax to define factories with any kind of association. Helping you create models and the environment needed for each test with inline awesome configuration. This hook works with Sails.js framework and using Sequelize as ORM.
susuhahnml's Repositories
susuhahnml/asp-game-strategies
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:
susuhahnml/awsome-factory-associator
Provides a syntax to define factories with any kind of association. Helping you create models and the environment needed for each test with inline awesome configuration. This hook works with Sails.js framework and using Sequelize as ORM.
susuhahnml/asp-game-ml-strategies
susuhahnml/alpha-zero-general
A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4
susuhahnml/asp-macros
LaTeX macros for concepts from ASP (originally built for ASP book)
susuhahnml/asprilo
🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
susuhahnml/asprilo-encodings
Encodings for aspilro environments
susuhahnml/atlingo
Temporal Logics with Automatons
susuhahnml/digforasp-slides
susuhahnml/flatzingo
:flamingo: A flatzinc frontend for clingcon
susuhahnml/forIssue
Sails project to show waterline issue
susuhahnml/js_osus
Ejercicios de JS
susuhahnml/kroki.io
kroki.io website
susuhahnml/logos
Collection of logos, eg for use in slides
susuhahnml/LTLf2DFA
From LTLf / PLTLf to Deterministic Finite-state Automata (DFA)
susuhahnml/python-clingox
🧰 Library with auxilary functions to use along with the clingo module.
susuhahnml/streamlit-issue
Describing the streamlit feature-issue
susuhahnml/systems
susuhahnml/telingo
🕰️ A solver for temporal programs.
susuhahnml/xls2asp
📊 Convert excel spreadsheets to ASP facts