Thu, 28 Nov 2024 11:58:59 UTC | login

Information for RPM mona-1.4r17-5.fc29.riscv64.rpm

ID98950
Namemona
Version1.4r17
Release5.fc29
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 Time2018-06-03 18:47:20 GMT
Size1.38 MB
1a209c8a0a8771c9d671022254b1d891
LicenseGPLv2+
Buildrootf29-build-7346-1806
Provides
mona = 1.4r17-5.fc29
mona(riscv-64) = 1.4r17-5.fc29
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)
libm.so.6()(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.4r17-5.fc29
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-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/dfa2dot36.25 KB
/usr/bin/gta2dot58.05 KB
/usr/bin/mona3.25 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/040.00 B
/usr/lib/.build-id/04/08057fb5981b4e02d6984bf5332de22abca0c527.00 B
/usr/lib/.build-id/350.00 B
/usr/lib/.build-id/35/bedc4ed829749a5e8f97a40995d5b79d684b1b27.00 B
/usr/lib/.build-id/920.00 B
/usr/lib/.build-id/92/e915352d02fd7c97896c7dbb135f2d5daed39124.00 B
/usr/share/doc/mona0.00 B
/usr/share/doc/mona/mona14.pdf721.57 KB
/usr/share/man/man1/mona.1.gz1.33 KB
Component of No Buildroots