repositories
/
master.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
2bfa67e541953e8a21d0e6946a146db6a06f4af0
[master.git]
/
ar
/
assignments
/
src
/
a1.smt
1
(benchmark a1.smt
2
:logic QF_UFLIA
3
:extrafuns (
4
(MaxTruck Int)
5
(NuzzleWeight Int)
6
(PrittleWeight Int)
7
(SkippleWeight Int)
8
(CrottleWeight Int)
9
(DuppleWeight Int)
10
)
11
:formula
12
(and
13
(= NuzzleWeight 700)
14
(= PrittleWeight 800)
15
(= SkippleWeight 1000)
16
(= CrottleWeight 1500)
17
(= DuppleWeight 100)
18
)
19
)