mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
d15a699539
An automatic theorem prover for the SMT problem PR: 103412 Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org>
4 lines
187 B
Plaintext
4 lines
187 B
Plaintext
MD5 (cvcl-2.5.1.tar.gz) = c41afb57e90438efa6e7360e330039f4
|
|
SHA256 (cvcl-2.5.1.tar.gz) = a1a008816c170f3ddea6f513c6bbf11ed10f155b55431284ebad97dd26e61772
|
|
SIZE (cvcl-2.5.1.tar.gz) = 689957
|