Cross Reference: pb1.in
xref
: /
hets
/
GMP
/
CoLoSS
/
data
/
examples
/
pb1.in
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
74b23191c8f49798f7513f324bbdbbe32f8a1db2
Razvan Pascanu
(<0.5><1> (p0 /\ ~p1)) /\ (<0.5><1>(p3 /\ p2)) -> <1><1> (p0 \/ p3)