Personal Data
- Username:
- tkren
- Joined:
- 2007-12-22 19:03:14
Projects
This is a list of open source software projects that Thomas Krennwallner is associated with:
- DLVHEX solver for HEX-programs Last Updated:
- DMCS - Distributed Nonmonotonic MCS Last Updated:
-
Potassco Last Updated:
- dlvhex-semweb Last Updated:
