Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

gap-automata-1.15-1.3 RPM for noarch

From OpenSuSE Ports Tumbleweed for noarch

Name: gap-automata Distribution: openSUSE:Factory:zSystems
Version: 1.15 Vendor: openSUSE
Release: 1.3 Build date: Mon Apr 25 21:40:54 2022
Group: Productivity/Scientific/Math Build host: reproducible
Size: 1852664 Source RPM: gap-automata-1.15-1.3.src.rpm
Packager: https://bugs.opensuse.org
Url: https://gap-packages.github.io/automata/
Summary: GAP: A package on automata
 
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;

Provides

Requires

License

GPL-2.0-or-later

Changelog

* Mon Apr 25 2022 Jan Engelhardt <jengelh@inai.de>
  - Update to release 1.15
    * Metadata update only
* Wed Nov 14 2018 Jan Engelhardt <jengelh@inai.de>
  - Update to new upstream release 1.14
    * Drawings are now produced in two steps: first the dot code
      (that is accessible to the user) and then the display
* Fri May 10 2013 jengelh@inai.de
  - Split automata (version 1.13) off the gap RPM package

Files

/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
/usr/share/gap/pkg/automata-1.15/doc/aut2.eps
/usr/share/gap/pkg/automata-1.15/doc/aut2.gif
/usr/share/gap/pkg/automata-1.15/doc/aut2.jpg
/usr/share/gap/pkg/automata-1.15/doc/aut2.pdf
/usr/share/gap/pkg/automata-1.15/doc/aut2_1.jpg
/usr/share/gap/pkg/automata-1.15/doc/aut2_2.jpg
/usr/share/gap/pkg/automata-1.15/doc/automata.xml
/usr/share/gap/pkg/automata-1.15/doc/chap0.html
/usr/share/gap/pkg/automata-1.15/doc/chap0.txt
/usr/share/gap/pkg/automata-1.15/doc/chap0_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chap1.html
/usr/share/gap/pkg/automata-1.15/doc/chap1.txt
/usr/share/gap/pkg/automata-1.15/doc/chap1_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chap2.html
/usr/share/gap/pkg/automata-1.15/doc/chap2.txt
/usr/share/gap/pkg/automata-1.15/doc/chap2_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chap3.html
/usr/share/gap/pkg/automata-1.15/doc/chap3.txt
/usr/share/gap/pkg/automata-1.15/doc/chap3_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chap4.html
/usr/share/gap/pkg/automata-1.15/doc/chap4.txt
/usr/share/gap/pkg/automata-1.15/doc/chap4_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chap5.html
/usr/share/gap/pkg/automata-1.15/doc/chap5.txt
/usr/share/gap/pkg/automata-1.15/doc/chap5_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chap6.html
/usr/share/gap/pkg/automata-1.15/doc/chap6.txt
/usr/share/gap/pkg/automata-1.15/doc/chap6_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chapA.html
/usr/share/gap/pkg/automata-1.15/doc/chapA.txt
/usr/share/gap/pkg/automata-1.15/doc/chapA_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chapB.html
/usr/share/gap/pkg/automata-1.15/doc/chapB.txt
/usr/share/gap/pkg/automata-1.15/doc/chapB_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chapBib.html
/usr/share/gap/pkg/automata-1.15/doc/chapBib.txt
/usr/share/gap/pkg/automata-1.15/doc/chapBib_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chapC.html
/usr/share/gap/pkg/automata-1.15/doc/chapC.txt
/usr/share/gap/pkg/automata-1.15/doc/chapC_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chapInd.html
/usr/share/gap/pkg/automata-1.15/doc/chapInd.txt
/usr/share/gap/pkg/automata-1.15/doc/chapInd_mj.html
/usr/share/gap/pkg/automata-1.15/doc/chooser.html
/usr/share/gap/pkg/automata-1.15/doc/drawing.xml
/usr/share/gap/pkg/automata-1.15/doc/finitelang.xml
/usr/share/gap/pkg/automata-1.15/doc/foldings.xml
/usr/share/gap/pkg/automata-1.15/doc/graph.eps
/usr/share/gap/pkg/automata-1.15/doc/graph.gif
/usr/share/gap/pkg/automata-1.15/doc/graph.pdf
/usr/share/gap/pkg/automata-1.15/doc/graph2.jpg
/usr/share/gap/pkg/automata-1.15/doc/graph2.pdf
/usr/share/gap/pkg/automata-1.15/doc/graphs.xml
/usr/share/gap/pkg/automata-1.15/doc/introduction.xml
/usr/share/gap/pkg/automata-1.15/doc/lefttoc.css
/usr/share/gap/pkg/automata-1.15/doc/manual.css
/usr/share/gap/pkg/automata-1.15/doc/manual.js
/usr/share/gap/pkg/automata-1.15/doc/manual.lab
/usr/share/gap/pkg/automata-1.15/doc/manual.pdf
/usr/share/gap/pkg/automata-1.15/doc/manual.six
/usr/share/gap/pkg/automata-1.15/doc/nocolorprompt.css
/usr/share/gap/pkg/automata-1.15/doc/ragged.css
/usr/share/gap/pkg/automata-1.15/doc/rainbow.js
/usr/share/gap/pkg/automata-1.15/doc/rational.xml
/usr/share/gap/pkg/automata-1.15/doc/sccpoi2.jpg
/usr/share/gap/pkg/automata-1.15/doc/sccpoi2.pdf
/usr/share/gap/pkg/automata-1.15/doc/subaut.jpg
/usr/share/gap/pkg/automata-1.15/doc/subaut.pdf
/usr/share/gap/pkg/automata-1.15/doc/times.css
/usr/share/gap/pkg/automata-1.15/doc/title.xml
/usr/share/gap/pkg/automata-1.15/doc/toggless.css
/usr/share/gap/pkg/automata-1.15/doc/toggless.js
/usr/share/gap/pkg/automata-1.15/gap
/usr/share/gap/pkg/automata-1.15/gap/aut-basics.gd
/usr/share/gap/pkg/automata-1.15/gap/aut-basics.gi
/usr/share/gap/pkg/automata-1.15/gap/aut-def.gd
/usr/share/gap/pkg/automata-1.15/gap/aut-def.gi
/usr/share/gap/pkg/automata-1.15/gap/aut-func.gd
/usr/share/gap/pkg/automata-1.15/gap/aut-func.gi
/usr/share/gap/pkg/automata-1.15/gap/aut-rat.gd
/usr/share/gap/pkg/automata-1.15/gap/aut-rat.gi
/usr/share/gap/pkg/automata-1.15/gap/aut-utils.gd
/usr/share/gap/pkg/automata-1.15/gap/aut-utils.gi
/usr/share/gap/pkg/automata-1.15/gap/automata-display.gd
/usr/share/gap/pkg/automata-1.15/gap/automata-display.gi
/usr/share/gap/pkg/automata-1.15/gap/digraphs.gd
/usr/share/gap/pkg/automata-1.15/gap/digraphs.gi
/usr/share/gap/pkg/automata-1.15/gap/drawgraph.gd
/usr/share/gap/pkg/automata-1.15/gap/drawgraph.gi
/usr/share/gap/pkg/automata-1.15/gap/finitelang.gd
/usr/share/gap/pkg/automata-1.15/gap/finitelang.gi
/usr/share/gap/pkg/automata-1.15/gap/foldings.gd
/usr/share/gap/pkg/automata-1.15/gap/foldings.gi
/usr/share/gap/pkg/automata-1.15/gap/hello
/usr/share/gap/pkg/automata-1.15/gap/miscelaneous.gd
/usr/share/gap/pkg/automata-1.15/gap/miscelaneous.gi
/usr/share/gap/pkg/automata-1.15/gap/rat-def.gd
/usr/share/gap/pkg/automata-1.15/gap/rat-def.gi
/usr/share/gap/pkg/automata-1.15/gap/rat-func.gd
/usr/share/gap/pkg/automata-1.15/gap/rat-func.gi
/usr/share/gap/pkg/automata-1.15/gap/sgpslinks.gd
/usr/share/gap/pkg/automata-1.15/gap/sgpslinks.gi
/usr/share/gap/pkg/automata-1.15/gap/splash_from_Viz.g
/usr/share/gap/pkg/automata-1.15/init.g
/usr/share/gap/pkg/automata-1.15/makedoc.g
/usr/share/gap/pkg/automata-1.15/read.g
/usr/share/gap/pkg/automata-1.15/tst
/usr/share/gap/pkg/automata-1.15/tst/testall.g
/usr/share/gap/pkg/automata-1.15/tst/testall.tst
/usr/share/gap/pkg/automata-1.15/version

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 30 23:40:23 2024