Mon, 24 Jun 2024 05:00:58 UTC | login

Information for file /usr/share/doc/yices-doc/examples/mod_axiom5.smt2

Name/usr/share/doc/yices-doc/examples/mod_axiom5.smt2
Digest (sha256)9a19b9d6e2f89808a9728797d2eabbe1cb6fba55e2be7b71717254c21c3f0ee7
Size83.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