Sha256: 77e5a6894c0b29cd1c6fc5cd759240ce4d364f1bcf6dd76f834958524f005cbf

Contents?: true

Size: 2.94 KB

Versions: 0

Compression: gzip

Compressed size: 725 Bytes

Stored size: 725 Bytes

Contents

Download

Package Spec version

prop_logic-minisat-0.2.0