started with the report

[master.git] / ar / assignments / src / a1.smt

(benchmark a1.smt
:logic QF_UFLIA
:extrafuns (
        (MaxTruck Int)
        (NuzzleWeight Int)
        (PrittleWeight Int)
        (SkippleWeight Int)
        (CrottleWeight Int)
        (DuppleWeight Int)
)
:formula
(and
        (= NuzzleWeight 700)
        (= PrittleWeight 800)
        (= SkippleWeight 1000)
        (= CrottleWeight 1500)
        (= DuppleWeight 100)
)
)