-
Notifications
You must be signed in to change notification settings - Fork 3
/
systems.tex
146 lines (141 loc) · 5.39 KB
/
systems.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
\providecommand{\sysfont}{\textit}
\newcommand{\Abstem}{\sysfont{Abstem}}
\newcommand{\acclingo}{\sysfont{acclingo}}
\newcommand{\alaspo}{\sysfont{alaspo}}
\newcommand{\aspviz}{\sysfont{aspviz}}
\newcommand{\aspcafe}{\sysfont{aspcafe}}
\newcommand{\aspcorei}{\sysfont{ASP-Core}}
\newcommand{\aspcoreii}{\sysfont{ASP-Core-2}}
\newcommand{\Clingo}{\sysfont{Clingo}}
\newcommand{\clorm}{\sysfont{clorm}}
\newcommand{\clingraph}{\sysfont{clingraph}}
\newcommand{\clinguin}{\sysfont{clinguin}}
\newcommand{\Clinguin}{\sysfont{Clinguin}}
\newcommand{\clinsight}{\sysfont{clinsight}}
\newcommand{\clintest}{\sysfont{clintest}}
\newcommand{\Clingraph}{\sysfont{Clingraph}}
\newcommand{\Gringo}{\sysfont{Gringo}}
\newcommand{\abstem}{\sysfont{abstem}}
\newcommand{\acthex}{\sysfont{acthex}}
\newcommand{\adsolver}{\sysfont{adsolver}}
\newcommand{\anthem}{\sysfont{anthem}}
\newcommand{\asparagus}{\sysfont{asparagus}}
\newcommand{\aspartame}{\sysfont{aspartame}}
\newcommand{\aspcud}{\sysfont{aspcud}}
\newcommand{\aspeed}{\sysfont{aspeed}}
\newcommand{\aspic}{\sysfont{aspic}}
\newcommand{\aspmt}{\sysfont{aspmt}}
\newcommand{\asprilo}{\sysfont{asprilo}}
\newcommand{\asprin}{\sysfont{asprin}}
\newcommand{\assat}{\sysfont{assat}}
\newcommand{\autofolio}{\sysfont{autofolio}}
\newcommand{\berkmin}{\sysfont{berkmin}}
\newcommand{\caspo}{\sysfont{caspo}}
\newcommand{\caspots}{\sysfont{caspo-ts}}
\newcommand{\chasp}{\sysfont{chasp}}
\newcommand{\chuffed}{\sysfont{chuffed}}
\newcommand{\claspD}{\sysfont{claspD}}
\newcommand{\claspar}{\sysfont{claspar}}
\newcommand{\claspfolio}{\sysfont{claspfolio}}
\newcommand{\claspre}{\sysfont{claspre}}
\newcommand{\clasp}{\sysfont{clasp}}
\newcommand{\clingcon}{\sysfont{clingcon}}
\newcommand{\clingo}{\sysfont{clingo}}
\newcommand{\clingodl}{\clingoM{dl}}
\newcommand{\clingolp}{\clingoM{lp}}
\newcommand{\clingolpx}{\clingoM{lpx}}
\newcommand{\cmodels}{\sysfont{cmodels}}
\newcommand{\coala}{\sysfont{coala}}
\newcommand{\cplex}{\sysfont{cplex}}
\newcommand{\dflat}{\sysfont{dflat}}
\newcommand{\dingo}{\sysfont{dingo}}
\newcommand{\dlvhex}{\sysfont{dlvhex}}
\newcommand{\dlv}{\sysfont{dlv}}
\newcommand{\eclingo}{\sysfont{eclingo}}
\newcommand{\embasp}{\sysfont{embasp}}
\newcommand{\ezcsp}{\sysfont{ezcsp}}
\newcommand{\ezsmt}{\sysfont{ezsmt}}
\newcommand{\fastdownward}{\sysfont{fastdownward}}
\newcommand{\fclingo}{\sysfont{fclingo}}
\newcommand{\flatzingo}{\sysfont{flatzingo}}
\newcommand{\fluto}{\sysfont{fluto}}
\newcommand{\ftolp}{\sysfont{f2lp}}
\newcommand{\gasp}{\sysfont{gasp}}
\newcommand{\gecode}{\sysfont{gecode}}
\newcommand{\gfd}{\sysfont{g12fd}}
\newcommand{\gidl}{\sysfont{gidl}}
\newcommand{\ginkgo}{\sysfont{ginkgo}}
\newcommand{\gnt}{\sysfont{gnt}}
\newcommand{\gringo}{\sysfont{gringo}}
\newcommand{\graphviz}{\sysfont{graphviz}}
\newcommand{\harvey}{\sysfont{harvey}}
\newcommand{\heuclingo}{\sysfont{heuclingo}}
\newcommand{\iclingo}{\sysfont{iclingo}}
\newcommand{\idlv}{\sysfont{idlv}}
\newcommand{\idp}{\sysfont{idp}}
\newcommand{\inca}{\sysfont{inca}}
\newcommand{\jdlv}{\sysfont{jdlv}}
\newcommand{\lctocasp}{\sysfont{lc2casp}}
\newcommand{\lparse}{\sysfont{lparse}}
\newcommand{\lpconvert}{\sysfont{lpconvert}}
\newcommand{\lpsolve}{\sysfont{lpsolve}}
\newcommand{\lptodiff}{\sysfont{lp2diff}}
\newcommand{\lptosat}{\sysfont{lp2sat}}
\newcommand{\mchaff}{\sysfont{mchaff}}
\newcommand{\measp}{\sysfont{measp}}
\newcommand{\metasp}{\sysfont{metasp}}
\newcommand{\mingo}{\sysfont{mingo}}
\newcommand{\minisatid}{\sysfont{minisatid}}
\newcommand{\minisat}{\sysfont{minisat}}
\newcommand{\minizinc}{\sysfont{minizinc}}
\newcommand{\mznfzn}{\sysfont{mzn2fzn}}
\newcommand{\ngo}{\sysfont{ngo}}
\newcommand{\nomorepp}{\sysfont{nomore++}}
\newcommand{\oclingo}{\sysfont{oclingo}}
\newcommand{\omiga}{\sysfont{omiga}}
\newcommand{\picatsat}{\sysfont{picatsat}}
\newcommand{\picat}{\sysfont{picat}}
\newcommand{\piclasp}{\sysfont{piclasp}}
\newcommand{\picosat}{\sysfont{picosat}}
\newcommand{\plasp}{\sysfont{plasp}}
\newcommand{\plingo}{\sysfont{plingo}}
\newcommand{\Plingo}{\sysfont{Plingo}}
\newcommand{\qasp}{\sysfont{qasp}}
\newcommand{\quontroller}{\sysfont{quontroller}}
\newcommand{\reify}{\sysfont{reify}}
\newcommand{\rosoclingo}{\sysfont{rosoclingo}}
\newcommand{\sag}{\sysfont{sag}}
\newcommand{\satz}{\sysfont{satz}}
\newcommand{\siege}{\sysfont{siege}}
\newcommand{\smac}{\sysfont{smac}}
\newcommand{\smodelscc}{\sysfont{smodels$_{\!cc}$}}
\newcommand{\smodelsr}{\sysfont{smodels}$_r$}
\newcommand{\smodels}{\sysfont{smodels}}
\newcommand{\spa}{\sysfont{spa}}
\newcommand{\stelp}{\sysfont{stelp}}
\newcommand{\sugar}{\sysfont{sugar}}
\newcommand{\teaspoon}{\sysfont{teaspoon}}
\newcommand{\tefoli}{\sysfont{tefoli}}
\newcommand{\telingo}{\sysfont{telingo}}
\newcommand{\tel}{\sysfont{tel}}
\newcommand{\unclasp}{\sysfont{unclasp}}
\newcommand{\vampire}{\sysfont{vampire}}
\newcommand{\viasp}{\sysfont{viasp}}
\newcommand{\wasp}{\sysfont{wasp}}
\newcommand{\xclingo}{\sysfont{xclingo}}
\newcommand{\xorro}{\sysfont{xorro}}
\newcommand{\zchaff}{\sysfont{zchaff}}
\newcommand{\zzz}{\sysfont{z3}}
\newcommand{\clingoM}[1]{\clingo{\small\textnormal{[}\textsc{#1}\textnormal{]}}}
\newcommand{\ASPm}[1]{ASP\raisebox{.7pt}{[\textsc{#1}]}}
\newcommand{\flatzinc}{\sysfont{FlatZinc}}
\newcommand{\aspif}{\sysfont{aspif}}
\providecommand{\C}{C}
\newcommand{\cpp}{C++}
\newcommand{\haskell}{Haskell}
\newcommand{\java}{Java}
\newcommand{\lua}{Lua}
\newcommand{\prolog}{Prolog}
\newcommand{\python}{Python}
\newcommand{\rust}{Rust}
\newcommand{\pip}{pip}