Pinned Repositories
core
DLVHEX solver: core system and plugin API
manual
Manual for the HEX language and the dlvhex and hexlite solvers
aspsolver
jam
Java Abstract Machine
MathProgVU
TweetyProject
TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
mathiashofer's Repositories
mathiashofer/aspsolver
mathiashofer/jam
Java Abstract Machine
mathiashofer/MathProgVU