Mon, 24 Jun 2024 05:43:12 UTC | login

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

Name/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.ys
Digest (sha256)405c932136d689a66b47f31d778b6b8a7ee2cff1572454cfd1f935f88d3b307b
Size107.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