clingo-0.2.0.0: examples/Version.hs

module Main where

import Text.Printf
import Clingo.Control

main = do
    (a,b,c) <- version
    printf "Hello, this is clingo version %d.%d.%d.\n" a b c