Sha256: cb50b9df694a44f687255007429fe3ef9ffc0c5ac47766b3307801ce554b4cb7

Contents?: true

Size: 8 KB

Versions: 0

Compression: gzip

Compressed size: 4.92 KB

Stored size: 4.92 KB

Contents

Download

Package version

prop_logic-minisat-0.2.0