RPMs for Fedora Installations
Here is a collection of RPMs that I have put together. They are here
for me to test. Those that seem satisfactory will eventually be pushed
into either Fedora or
RPM Fusion, depending on licensing
issues. If an RPM disappears from this page, then I have either found
it unsatisfactory or migrated it into one of those two collections.
Note: Due to space problems, I am not able to post
binary RPMs on this web page. Furthermore, some of the programs listed
here are distributed under non-free licenses, so I cannot provide the
sources either. Hence, all you get is either src or norsrc RPMs.
Packages that Fedora can take
These packages are freely distributable. I provide source RPMs for
- buddy: BDD library.
- cadical: Simplified SAT solver.
- cal: BDD library.
- cmusphinx4: speech recognition.
- CrocoPat: a relational programming tool.
- dedukti: universal proof checker.
- drabt: proof checker for the DRAT proof
- fest-maven-setup: FEST parent
- fest-test: Common testing infrastructure
- fest-util: FEST utilities.
- java-colors: color chooser for Java.
- JHotDraw: a Java GUI framework for technical
and structured graphics.
- jreality: 3D mathematical visualization in
- jtem-beans: auto-generate a GUI to inspect
- jtem-jrworkspace: tool to build UIs
for complex modular applications.
- jtem-jterm: Java terminal window.
- jtem-mfc: Mathematical Foundation Classes
- jtem-numericalMethods: a Java
library that computes numerical solutions to algebra, calculus, and
- lfsc: SMT proof checker.
- LiDIA: a library for computational number
- netutil: Open Sound Control (OSC) for
- opendial: a generic Java-based toolkit for
building dialog systems.
Sphinx support for ZConfig.
Ignore docstring to name tests in nose.
- python-sphinxtesters: utilities
for testing Sphinx extensions.
- python-texext: Sphinx extensions for
working with LaTeX math.
- SInE: Sumo Inference Engine, a metaprover
targeted on large theories, especially on SUMO.
- smrj: Simple multicast remote Java.
- snark: SRI's New Automated Reasoning Kit.
- spass: SPASS, an automated theorem prover for
first-order logic with equality.
- Spin: a model checker.
- sunflow: Java rendering system for
photo-realistic image synthesis.
- symfpu: an implementation of IEEE-754 /
“Free” Packages with Fedora-incompatible licenses
These packages are supposedly free software or open source, but include
license terms that are incompatible with the Fedora distribution.
- blast: Berkeley Lazy Abstraction Software
- cmuclmtk: a language model trainer for the
CMU Sphinx decoders.
These packages have restrictive licenses. I do not provide the
sources. You have to download those yourself after signifying your
agreement with the license terms. All I provide is a nosrc RPM.
- pvs: Prototype Specification and Verification
System (Allegro Common Lisp version).
- zChaff: a Boolean Satisfiability solver.
Packages without licenses
These packages are clearly intended to be free, given statements by
their authors. However, the authors have failed to provide a clear
license, making them unacceptable to repositories with lawyers.
- nasalib: NASA Langley collection of PVS
Last modified: Sat Jul 7 17:24:01 MDT 2018
by Jerry James