Mon, 24 Jun 2024 10:58:24 UTC | login

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

Name/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.ys
Digest (sha256)5c7cdcf3279198160d8f2fa87c1d28947327f4fd03eb0576a1fe5087b9c20632
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