Sun, 16 Jun 2024 07:35:52 UTC | login

Information for file /usr/share/doc/yices-doc/examples/tst_bvsdiv8.smt

Name/usr/share/doc/yices-doc/examples/tst_bvsdiv8.smt
Digest (sha256)7177fbc37363cfe4232384aa1901f61ee1d2599dd6aa01a2742c6a3529dffd2f
Size260.00 B
Modification timeFri, 26 Oct 2018 21:33:09 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyices-doc-2.6.1-1.fc29.riscv64.rpm