lfsc-0.20120321-alt1_7.x86_64.rpm


Advertisement

Description

lfsc - SMT proof checker

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports x86_64
Package filename lfsc-0.20120321-alt1_7.x86_64.rpm
Package name lfsc
Package version 0.20120321
Package release alt1_7
Package architecture x86_64
Package type rpm
Category Other
Homepage -
License -
Maintainer -
Download size 315.90 KB
Installed size 315.90 KB
This package contains an SMT proof checker.

Alternatives

Package Version Architecture Repository
lfsc-0.20120321-alt1_7.i586.rpm 0.20120321 i586 Autoimports
lfsc - - -

Requires

Name Value
/lib64/ld-linux-x86-64.so.2 -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.10()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -

Provides

Name Value
lfsc = 0.20120321-alt1_7

Download

Type URL
Mirror ftp.altlinux.org
Binary Package lfsc-0.20120321-alt1_7.x86_64.rpm
Source Package lfsc-0.20120321-alt1_7.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus x86_64 autoimports
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
    
  2. Update the package index:
    # sudo apt-get update
  3. Install lfsc rpm package:
    # sudo apt-get install lfsc

Files

Path
/usr/bin/lfsc
/usr/share/doc/lfsc-0.20120321/license.txt
/usr/share/lfsc/color_base.plf
/usr/share/lfsc/color_euf.plf
/usr/share/lfsc/euf_interpolation.plf
/usr/share/lfsc/sat.plf
/usr/share/lfsc/smt.plf
/usr/share/lfsc/th_base.plf
/usr/share/lfsc/th_lra-cvc3.plf
/usr/share/lfsc/th_lra.plf
/usr/share/lfsc/th_real.plf
/usr/share/man/man1/lfsc.1.gz

See Also

Package Description
lfsc-devel-0.20120321-alt1_7.x86_64.rpm Files needed to compile side conditions
lhapdf-6.2.1-alt2_4.x86_64.rpm Les Houches Accord PDF Interface
lhapdf-devel-6.2.1-alt2_4.x86_64.rpm Les Houches Accord PDF Interface - development files
libacr38u-devel-1.7.11-alt1_8.x86_64.rpm Development library for acr38u
libacr38u0-1.7.11-alt1_8.x86_64.rpm Shared library for acr38u
libairspy-devel-1.0.9-alt1_2.x86_64.rpm Development files for airspy
libairspy0-1.0.9-alt1_2.x86_64.rpm Library files for airspy
libalembic-devel-1.7.11-alt1_1.x86_64.rpm Development files for alembic
libalembic1.7-1.7.11-alt1_1.x86_64.rpm Open framework for storing and sharing scene data
libanthy-gir9000-1.5.10-alt1_2.x86_64.rpm GObject Introspection interface description for anthy
libanthygobject-devel-1.5.10-alt1_2.x86_64.rpm Development files for ibus-anthy
libanthygobject1.0_5-1.5.10-alt1_2.x86_64.rpm Shared libs for anthygobject
libatf-c++-0.20-alt1_14.x86_64.rpm Automated Testing Framework - C++ bindings
libatf-c++-devel-0.20-alt1_14.x86_64.rpm Automated Testing Framework - C++ bindings (headers)
libatf-c-0.20-alt1_14.x86_64.rpm Automated Testing Framework - C bindings
Advertisement
Advertisement