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

gap-automata-1.16-1.1 RPM for noarch

From OpenSuSE Tumbleweed for noarch

Name: gap-automata Distribution: openSUSE Tumbleweed
Version: 1.16 Vendor: openSUSE
Release: 1.1 Build date: Tue Dec 31 20:40:25 2024
Group: Productivity/Scientific/Math Build host: reproducible
Size: 1833056 Source RPM: gap-automata-1.16-1.1.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

* Tue Dec 31 2024 Jan Engelhardt <jengelh@inai.de>
  - Update to release 1.16
    * Streamlined UnionAutomata and IntersectionAutomaton
* 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.16
/usr/share/gap/pkg/automata-1.16/CHANGES
/usr/share/gap/pkg/automata-1.16/EXAMPLES
/usr/share/gap/pkg/automata-1.16/GPL
/usr/share/gap/pkg/automata-1.16/LICENSE
/usr/share/gap/pkg/automata-1.16/PackageInfo.g
/usr/share/gap/pkg/automata-1.16/README.md
/usr/share/gap/pkg/automata-1.16/doc
/usr/share/gap/pkg/automata-1.16/doc/AutMan.bib
/usr/share/gap/pkg/automata-1.16/doc/AutMan.xml
/usr/share/gap/pkg/automata-1.16/doc/_entities.xml
/usr/share/gap/pkg/automata-1.16/doc/aut-func.xml
/usr/share/gap/pkg/automata-1.16/doc/aut-vs-rat.xml
/usr/share/gap/pkg/automata-1.16/doc/aut1.eps
/usr/share/gap/pkg/automata-1.16/doc/aut1.gif
/usr/share/gap/pkg/automata-1.16/doc/aut1.jpg
/usr/share/gap/pkg/automata-1.16/doc/aut1.pdf
/usr/share/gap/pkg/automata-1.16/doc/aut1.ps2
/usr/share/gap/pkg/automata-1.16/doc/aut2.eps
/usr/share/gap/pkg/automata-1.16/doc/aut2.gif
/usr/share/gap/pkg/automata-1.16/doc/aut2.jpg
/usr/share/gap/pkg/automata-1.16/doc/aut2.pdf
/usr/share/gap/pkg/automata-1.16/doc/aut2_1.jpg
/usr/share/gap/pkg/automata-1.16/doc/aut2_2.jpg
/usr/share/gap/pkg/automata-1.16/doc/automata.xml
/usr/share/gap/pkg/automata-1.16/doc/chap0.html
/usr/share/gap/pkg/automata-1.16/doc/chap0.txt
/usr/share/gap/pkg/automata-1.16/doc/chap0_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chap1.html
/usr/share/gap/pkg/automata-1.16/doc/chap1.txt
/usr/share/gap/pkg/automata-1.16/doc/chap1_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chap2.html
/usr/share/gap/pkg/automata-1.16/doc/chap2.txt
/usr/share/gap/pkg/automata-1.16/doc/chap2_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chap3.html
/usr/share/gap/pkg/automata-1.16/doc/chap3.txt
/usr/share/gap/pkg/automata-1.16/doc/chap3_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chap4.html
/usr/share/gap/pkg/automata-1.16/doc/chap4.txt
/usr/share/gap/pkg/automata-1.16/doc/chap4_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chap5.html
/usr/share/gap/pkg/automata-1.16/doc/chap5.txt
/usr/share/gap/pkg/automata-1.16/doc/chap5_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chap6.html
/usr/share/gap/pkg/automata-1.16/doc/chap6.txt
/usr/share/gap/pkg/automata-1.16/doc/chap6_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chapA.html
/usr/share/gap/pkg/automata-1.16/doc/chapA.txt
/usr/share/gap/pkg/automata-1.16/doc/chapA_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chapB.html
/usr/share/gap/pkg/automata-1.16/doc/chapB.txt
/usr/share/gap/pkg/automata-1.16/doc/chapB_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chapBib.html
/usr/share/gap/pkg/automata-1.16/doc/chapBib.txt
/usr/share/gap/pkg/automata-1.16/doc/chapBib_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chapC.html
/usr/share/gap/pkg/automata-1.16/doc/chapC.txt
/usr/share/gap/pkg/automata-1.16/doc/chapC_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chapInd.html
/usr/share/gap/pkg/automata-1.16/doc/chapInd.txt
/usr/share/gap/pkg/automata-1.16/doc/chapInd_mj.html
/usr/share/gap/pkg/automata-1.16/doc/chooser.html
/usr/share/gap/pkg/automata-1.16/doc/drawing.xml
/usr/share/gap/pkg/automata-1.16/doc/finitelang.xml
/usr/share/gap/pkg/automata-1.16/doc/foldings.xml
/usr/share/gap/pkg/automata-1.16/doc/graph.eps
/usr/share/gap/pkg/automata-1.16/doc/graph.gif
/usr/share/gap/pkg/automata-1.16/doc/graph.pdf
/usr/share/gap/pkg/automata-1.16/doc/graph2.jpg
/usr/share/gap/pkg/automata-1.16/doc/graph2.pdf
/usr/share/gap/pkg/automata-1.16/doc/graphs.xml
/usr/share/gap/pkg/automata-1.16/doc/introduction.xml
/usr/share/gap/pkg/automata-1.16/doc/lefttoc.css
/usr/share/gap/pkg/automata-1.16/doc/manual.css
/usr/share/gap/pkg/automata-1.16/doc/manual.js
/usr/share/gap/pkg/automata-1.16/doc/manual.lab
/usr/share/gap/pkg/automata-1.16/doc/manual.pdf
/usr/share/gap/pkg/automata-1.16/doc/manual.six
/usr/share/gap/pkg/automata-1.16/doc/nocolorprompt.css
/usr/share/gap/pkg/automata-1.16/doc/ragged.css
/usr/share/gap/pkg/automata-1.16/doc/rainbow.js
/usr/share/gap/pkg/automata-1.16/doc/rational.xml
/usr/share/gap/pkg/automata-1.16/doc/sccpoi2.jpg
/usr/share/gap/pkg/automata-1.16/doc/sccpoi2.pdf
/usr/share/gap/pkg/automata-1.16/doc/subaut.jpg
/usr/share/gap/pkg/automata-1.16/doc/subaut.pdf
/usr/share/gap/pkg/automata-1.16/doc/times.css
/usr/share/gap/pkg/automata-1.16/doc/title.xml
/usr/share/gap/pkg/automata-1.16/doc/toggless.css
/usr/share/gap/pkg/automata-1.16/doc/toggless.js
/usr/share/gap/pkg/automata-1.16/gap
/usr/share/gap/pkg/automata-1.16/gap/aut-basics.gd
/usr/share/gap/pkg/automata-1.16/gap/aut-basics.gi
/usr/share/gap/pkg/automata-1.16/gap/aut-def.gd
/usr/share/gap/pkg/automata-1.16/gap/aut-def.gi
/usr/share/gap/pkg/automata-1.16/gap/aut-func.gd
/usr/share/gap/pkg/automata-1.16/gap/aut-func.gi
/usr/share/gap/pkg/automata-1.16/gap/aut-rat.gd
/usr/share/gap/pkg/automata-1.16/gap/aut-rat.gi
/usr/share/gap/pkg/automata-1.16/gap/aut-utils.gd
/usr/share/gap/pkg/automata-1.16/gap/aut-utils.gi
/usr/share/gap/pkg/automata-1.16/gap/automata-display.gd
/usr/share/gap/pkg/automata-1.16/gap/automata-display.gi
/usr/share/gap/pkg/automata-1.16/gap/digraphs.gd
/usr/share/gap/pkg/automata-1.16/gap/digraphs.gi
/usr/share/gap/pkg/automata-1.16/gap/drawgraph.gd
/usr/share/gap/pkg/automata-1.16/gap/drawgraph.gi
/usr/share/gap/pkg/automata-1.16/gap/finitelang.gd
/usr/share/gap/pkg/automata-1.16/gap/finitelang.gi
/usr/share/gap/pkg/automata-1.16/gap/foldings.gd
/usr/share/gap/pkg/automata-1.16/gap/foldings.gi
/usr/share/gap/pkg/automata-1.16/gap/hello
/usr/share/gap/pkg/automata-1.16/gap/miscellaneous.gd
/usr/share/gap/pkg/automata-1.16/gap/miscellaneous.gi
/usr/share/gap/pkg/automata-1.16/gap/rat-def.gd
/usr/share/gap/pkg/automata-1.16/gap/rat-def.gi
/usr/share/gap/pkg/automata-1.16/gap/rat-func.gd
/usr/share/gap/pkg/automata-1.16/gap/rat-func.gi
/usr/share/gap/pkg/automata-1.16/gap/sgpslinks.gd
/usr/share/gap/pkg/automata-1.16/gap/sgpslinks.gi
/usr/share/gap/pkg/automata-1.16/gap/splash_from_Viz.g
/usr/share/gap/pkg/automata-1.16/init.g
/usr/share/gap/pkg/automata-1.16/makedoc.g
/usr/share/gap/pkg/automata-1.16/read.g
/usr/share/gap/pkg/automata-1.16/tst
/usr/share/gap/pkg/automata-1.16/tst/testall.g
/usr/share/gap/pkg/automata-1.16/tst/testall.tst
/usr/share/gap/pkg/automata-1.16/version

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Jan 12 00:30:25 2025