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

Name/usr/share/doc/yices-doc/examples/abs_axiom2.smt2
Digest (sha256)826aeac197992060429a015bac6be3760341f89550719d6fa3b5f38944475691
Size101.00 B
Modification timeMon, 24 Jun 2024 07:09:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyices-doc-2.6.5-8.fc42.noarch.rpm