gappa - Prove programs with floating-point or fixed-point arithmetic

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports i586
Package filename gappa-0.16.6-alt2_1.i586.rpm
Package name gappa
Package version 0.16.6
Package release alt2_1
Package architecture i586
Package type rpm
Category Office
Homepage -
License -
Maintainer -
Download size 1.03 MB
Installed size 1.03 MB
Gappa is a tool intended to help verifying and formally prove
properties on numerical programs and circuits handling floating-point
or fixed-point arithmetic.  This tool manipulates logical formulas
stating the enclosures of expressions in some intervals.  Through the
use of rounding operators as part of the expressions, Gappa is specially
designed to deal with formulas that could appear when certifying numerical
codes. In particular, Gappa makes it simple to bound computational errors
due to floating-point arithmetic.  The tool and its documentation were
written by Guillaume Melquiond.


Package Version Architecture Repository
gappa-0.16.6-alt2_1.x86_64.rpm 0.16.6 x86_64 Autoimports
gappa - - -


Name Value
/lib/ - - - - - - - - - - - - - - - - -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -


Name Value
gappa = 0.16.6-alt2_1


Type URL
Binary Package gappa-0.16.6-alt2_1.i586.rpm
Source Package gappa-0.16.6-alt2_1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] i586 autoimports
    rpm [Sisyphus] noarch autoimports
  2. Update the package index:
    # sudo apt-get update
  3. Install gappa rpm package:
    # sudo apt-get install gappa



See Also

Package Description
garmindev-0.3.4-alt1_18.i586.rpm Drivers for communication with Garmin GPS devices
gauche-0.9.5-alt1_6.i586.rpm Scheme script interpreter with multibyte character handling
gauche-devel-0.9.5-alt1_6.i586.rpm Development files for Gauche
gauche-gl-0.6-alt2_13.i586.rpm OpenGL binding for Gauche
gauche-gl-devel-0.6-alt2_13.i586.rpm Development files for gauche-gl
gauche-gtk-0.6-alt2_0.24.20181110git0220722.i586.rpm Gauche extension module to use GTK
gauche-gtk-devel-0.6-alt2_0.24.20181110git0220722.i586.rpm Development files for gauche-gtk
gcolor2-0.4-alt1_18.i586.rpm A simple color selector for GTK+2
gcolor3-2.3.1-alt1_5.i586.rpm A simple color chooser written in GTK3 (like gcolor2)
gdigi-0.4.0-alt1_20140216gitcada964d.i586.rpm Utility to control DigiTech effect pedals
gdmap-0.8.1-alt1_16.i586.rpm A tool which allows to visualize disk space
gdome2-0.8.1-alt1_11.i586.rpm DOM level 2 library for accessing XML files
gdome2-devel-0.8.1-alt1_11.i586.rpm Development files for gdome2
gdpc-2.2.5-alt1_14.i586.rpm A program for visualising molecular dynamics simulations data
gds2pov-0.20080229-alt1_18.i586.rpm GDS2 layout file to POV-Ray conversion