SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

gap-automata rpm build for : OpenSuSE. For other distributions click gap-automata.

Name : gap-automata
Version : 1.15 Vendor : openSUSE
Release : 1.3 Date : 2022-04-25 21:40:54
Group : Productivity/Scientific/Math Source RPM : gap-automata-1.15-1.3.src.rpm
Size : 1.77 MB
Packager : https://bugs_opensuse_org
Summary : GAP: A package on automata
Description :
The features of this package include

* Computing a rational expression for the language recognized by a
finite automaton;
* Compute an automaton for the language given by a rational
expression;
* Minimalize a finite automaton;
* Has some features (using the external program GraphViz) to
visualize automata;

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240429/repo/oss/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  gap-automata-1.15-1.3.noarch.rpm
ftp.icm.edu.pl  gap-automata-1.15-1.3.noarch.rpm
ftp.icm.edu.pl  gap-automata-1.15-1.3.noarch.rpm
ftp.icm.edu.pl  gap-automata-1.15-1.3.noarch.rpm
ftp.icm.edu.pl  gap-automata-1.15-1.3.noarch.rpm
ftp.icm.edu.pl  gap-automata-1.15-1.3.noarch.rpm
     

Provides :
gap-automata

Requires :
gap-core >= 4.8
graphviz
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/share/gap
/usr/share/gap/pkg
/usr/share/gap/pkg/automata-1.15
/usr/share/gap/pkg/automata-1.15/CHANGES
/usr/share/gap/pkg/automata-1.15/EXAMPLES
/usr/share/gap/pkg/automata-1.15/GPL
/usr/share/gap/pkg/automata-1.15/LICENSE
/usr/share/gap/pkg/automata-1.15/PackageInfo.g
/usr/share/gap/pkg/automata-1.15/README.md
/usr/share/gap/pkg/automata-1.15/doc
/usr/share/gap/pkg/automata-1.15/doc/AutMan.aux
/usr/share/gap/pkg/automata-1.15/doc/AutMan.bbl
/usr/share/gap/pkg/automata-1.15/doc/AutMan.bib
/usr/share/gap/pkg/automata-1.15/doc/AutMan.blg
/usr/share/gap/pkg/automata-1.15/doc/AutMan.brf
/usr/share/gap/pkg/automata-1.15/doc/AutMan.idx
/usr/share/gap/pkg/automata-1.15/doc/AutMan.ilg
/usr/share/gap/pkg/automata-1.15/doc/AutMan.ind
/usr/share/gap/pkg/automata-1.15/doc/AutMan.log
/usr/share/gap/pkg/automata-1.15/doc/AutMan.out
/usr/share/gap/pkg/automata-1.15/doc/AutMan.pnr
/usr/share/gap/pkg/automata-1.15/doc/AutMan.toc
/usr/share/gap/pkg/automata-1.15/doc/AutMan.xml
/usr/share/gap/pkg/automata-1.15/doc/aut-func.xml
/usr/share/gap/pkg/automata-1.15/doc/aut-vs-rat.xml
/usr/share/gap/pkg/automata-1.15/doc/aut1.eps
/usr/share/gap/pkg/automata-1.15/doc/aut1.gif
/usr/share/gap/pkg/automata-1.15/doc/aut1.jpg
/usr/share/gap/pkg/automata-1.15/doc/aut1.pdf
/usr/share/gap/pkg/automata-1.15/doc/aut1.ps2
There is 110 files more in these RPM.

 
ICM