Thu, 20 Feb 2025 08:51:21 UTC | login

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

Name/usr/share/doc/yices-doc/examples/abs_test4.smt2
Digest (sha256)bd7b39a858a658ce2df2598d5a75922b0c07268e6b7d9bc000234fd31aaf1f73
Size78.00 B
Modification timeMon, 02 Jul 2018 20:48:30 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyices-doc-2.6.0-2.fc29.riscv64.rpm