diff options
| author | Aurelien Desbrieres <aurelien@hackers.camp> | 2014-12-15 14:53:37 +0100 |
|---|---|---|
| committer | Aurelien Desbrieres <aurelien@hackers.camp> | 2014-12-15 14:53:37 +0100 |
| commit | f803d64755c20baf28548ff93b6c6334f705d95a (patch) | |
| tree | 540a12e7d347877e5978e62131fab0d854ce785e /pcr/prboom | |
| parent | 6958e1a24fe01cc8583824b3bb0a86023f44e27c (diff) | |
| download | abslibre-f803d64755c20baf28548ff93b6c6334f705d95a.tar.gz abslibre-f803d64755c20baf28548ff93b6c6334f705d95a.tar.bz2 abslibre-f803d64755c20baf28548ff93b6c6334f705d95a.zip | |
Grounding tools for (disjunctive) logic programs.
Diffstat (limited to 'pcr/prboom')
0 files changed, 0 insertions, 0 deletions