Mon, 17 Jun 2024 08:45:19 UTC | login

Information for file /usr/share/doc/yices-doc/examples/ef-tests/test4.sat.ys

Name/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.ys
Digest (sha256)ce26ddd58d4c8e5c9424790c0d6b43fd7b74c666294f096a2cfb5be02c4b7a5a
Size91.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.fc30.riscv64.rpm