# Simple Example

This is the call for a simple example:

    $ ../../run.sh base.lp guess.lp -- check.lp -- 0
    clingo version 5.5.0
    Reading from - ...
    Solving...
    Answer: 1
    a(2)
    SATISFIABLE

    Models       : 1
    Calls        : 1
    Time         : 0.007s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
    CPU Time     : 0.008s
