Sha256: febae747c1be3e290c1968d704c8c489a8e12853ec0877360800850b25da0cad

Contents?: true

Size: 459 Bytes

Versions: 0

Compression:

Stored size: 459 Bytes

Contents

xQo0+&X+1
!*Lb)Pd$)/}irb;sWh%ݝ{vbR};{Dx/76b6E'y.3<L2,҉߸|UE{CZc;b<џREiZ+&l0g"e"\H5YE7Op]3D5ڧhU V<%flUwHDp4VE1jĝUQ(n9%Lmm$C(2֯wGhrH	]y-mȯӵ@{F-R\[QK+؊_J=[/<q&d5wW"xr/:-s_ y촏!aƪznonE&3_-8

Quick Spec version

prop_logic-minisat-0.2.0