import Yices.Base

main = do
    print version

    setVerbosity 7
    setMaxSatInitialCost 99
    setMaxNumConflictsInMaxSatIteration 100
    setTypeChecker True
    setMaxNumIterationsInMaxSat 1000
    setMaxSatInitialCost 200
    setArithmeticOnly True
    setLogFile "x.dat"

    c <- empty        
    reset c
    dump c
    push c
    pop c
    print =<< inconsistent c

    print =<< check c

    setVerbosity 0
    print =<< check c

    print =<< getUnsatCoreSize c

    print =<< getModel c

    print =<< getUnsatCore c