projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Sun, 27 Dec 2020 14:52:06 +0000 (14:52 +0000) | ||
| committer | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000) | ||
| commit | fa6fe0e4a7df7ea001e201e00b18b5c1a71e3da5 | |
| tree | ffa973e0f61ce2988233b93fee9b7adeffcd8e5d | tree | snapshot |
| parent | 5410a7d69c1b5aeeb6b793af1562f03a32d8d24d | commit | diff |
| libclingo/clingo.h | diff | blob | history |