This example shows how to implement a guess and check based propagator.

Examples
========

    $ python app.py example.lp
    guess-and-check version 1.0
    Reading from example.lp
    Solving...
    Answer: 1
    a(2)
    SATISFIABLE
    
    Models       : 1+
    Calls        : 1
    Time         : 0.001s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
    CPU Time     : 0.001s
