clingo
pub fn version() -> (i32, i32, i32)
Obtain the clingo version.
(major version, minor version, revision number)