projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Sun, 27 Dec 2020 14:52:06 +0000 (14:52 +0000) | ||
| committer | Adrian Bunk <bunk@debian.org> | |
| Sat, 19 Nov 2022 10:33:48 +0000 (10:33 +0000) | ||
| commit | b57bbd70575058e6ebbf9197481ce7c2f8ae6920 | |
| tree | bdcbc138473ab7692a6f40e090a26c65078806a5 | tree | snapshot |
| parent | e823eac17c7b96bc6492f6ae45d9703f5daf3a26 | commit | diff |
| libclingo/clingo.h | diff | blob | history |