Wed, 18 Dec 2024 23:51:35 UTC | login

Information for RPM mona-1.4r18-1.fc33.riscv64.rpm

ID576659
Namemona
Version1.4r18
Release1.fc33
Epoch
Archriscv64
SummaryA decision procedure for the WS1S and WS2S logics
DescriptionMONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counterexample.
Build Time2020-03-29 01:14:05 GMT
Size671.22 KB
157b54efa998498c0dbffaeecde63b60
LicenseGPLv2+
Buildrootf33-build-142115-42639
Provides
mona = 1.4r18-1.fc33
mona(riscv-64) = 1.4r18-1.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libmonabdd.so.1()(64bit)
libmonadfa.so.1()(64bit)
libmonagta.so.1()(64bit)
libmonamem.so.1()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.8)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
mona-libs(riscv-64) = 1.4r18-1.fc33
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 13 of 13
Name ascending sort Size
/usr/bin/dfa2dot11.86 KB
/usr/bin/gta2dot15.91 KB
/usr/bin/mona482.45 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/700.00 B
/usr/lib/.build-id/70/5ff472efb4ad1b1ffb1c8abaad8f72dabaf55e27.00 B
/usr/lib/.build-id/900.00 B
/usr/lib/.build-id/90/a034114d6a3200ab8f1d5e341f6e2db352906527.00 B
/usr/lib/.build-id/cb0.00 B
/usr/lib/.build-id/cb/7031fcacdd061f1870b6849d6f37dc7e0bd51a24.00 B
/usr/share/doc/mona0.00 B
/usr/share/doc/mona/mona14.pdf636.59 KB
/usr/share/man/man1/mona.1.gz1.33 KB
Component of No Buildroots