Hide content and notifications from this user.
Contact Support about this user's behavior.
DLVHEX solver: core system and plugin API
An artificial player for the popular video game Angry Birds
Python-based HEX implementation for a fragment of the HEX language and a subset of features.
Forked from stefano-bragaglia/XHAIL
System for eXtended Hybrid Abductive Inductive Learning
Seeing something unexpected? Take a look at the
GitHub profile guide.