madmike200590

Studies computer science at TU Vienna

Pinned Repositories

Alpha
A lazy-grounding Answer-Set Programming system
Language:Java58 7 14710
OOPWS2015
OOP WS2015
Language:Java0 3 00
Alpha
The Alpha solver for lazy-grounding Answer-Set Programming.
Language:Java0 2 00
aoc-2020
The puzzles from Advent of Code 2020 solved in ASP with external predicates defined in Java
Language:Classic ASP1 2 00
asp-guide
A coder's guide to Answer Set Programming
10
evolog-thesis
Language:TeX0 3 00
jaspena
Solver-agnostic java-to-asp predicate mapping API
Language:Java0 2 10
kripke
Fun project aiming to solve some propositional modal logic problems using ASP
0 2 00
tl4c
Trivial(ly simple) logging for C
Language:C0 2 00

madmike200590's Repositories

madmike200590/aoc-2020
The puzzles from Advent of Code 2020 solved in ASP with external predicates defined in Java
Language:Classic ASP1 2 00
madmike200590/asp-guide
A coder's guide to Answer Set Programming
10
madmike200590/Alpha
The Alpha solver for lazy-grounding Answer-Set Programming.
Language:Java0 2 00
madmike200590/evolog-thesis
Language:TeX0 3 00
madmike200590/jaspena
Solver-agnostic java-to-asp predicate mapping API
Language:Java0 2 10
madmike200590/kripke
Fun project aiming to solve some propositional modal logic problems using ASP
0 2 00
madmike200590/tl4c
Trivial(ly simple) logging for C
Language:C0 2 00