foma
Tools for constructing various finite-state automata
Command lineScience
Not tested on a device yet. What that means
Commands in the package
fomacgflookupflookup
About foma
From Debian's package description
Compiler, programming language, and C library for constructing finite-state automata and transducers for various uses.
From Debian's description of the foma package, under that package's license.
Dependencies
Depends on
libfoma0t64libc6libreadline8t64zlib1g
Related apps
- lbtconverts from LTL formulas to Büchi automataCommand line
- monatheorem prover based on automataCommand line
Gmsh Mesh Generator3D finite element mesh generator- fflas-ffpackFinite field linear algebra subroutines/packageCommand line
- freefemPDE oriented language using Finite Element MethodCommand line
- Netgen Mesh Generator3-D finite element mesh generator
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the foma package, under that package's license.
- Description: Debian's description of the foma package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.