lfsc-0.20120321-alt1_7.i586.rpm


Advertisement

Description

lfsc - SMT proof checker

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports i586
Package name lfsc
Package version 0.20120321
Package release alt1_7
Package architecture i586
Package type rpm
Installed size 314.78 KB
Download size 314.78 KB
Official Mirror ftp.altlinux.org
This package contains an SMT proof checker.

Alternatives

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

Requires

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

Provides

Name Value
lfsc = 0.20120321-alt1_7

Download

Type URL
Binary Package lfsc-0.20120321-alt1_7.i586.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 i586 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.i586.rpm Files needed to compile side conditions
lhapdf-6.2.1-alt1_4.i586.rpm Les Houches Accord PDF Interface
lhapdf-devel-6.2.1-alt1_4.i586.rpm Les Houches Accord PDF Interface - development files
libacr38u-devel-1.7.11-alt1_7.i586.rpm Development library for acr38u
libacr38u0-1.7.11-alt1_7.i586.rpm Shared library for acr38u
libalembic-devel-1.7.8-alt1_1.i586.rpm Development files for alembic
libalembic1.7-1.7.8-alt1_1.i586.rpm Open framework for storing and sharing scene data
libanthy-gir9000-1.5.10-alt1_1.i586.rpm GObject Introspection interface description for anthy
libanthygobject-devel-1.5.10-alt1_1.i586.rpm Development files for ibus-anthy
libanthygobject1.0_5-1.5.10-alt1_1.i586.rpm Shared libs for anthygobject
libatf-c++-0.20-alt1_12.i586.rpm Automated Testing Framework - C++ bindings
libatf-c++-devel-0.20-alt1_12.i586.rpm Automated Testing Framework - C++ bindings (headers)
libatf-c-0.20-alt1_12.i586.rpm Automated Testing Framework - C bindings
libatf-c-devel-0.20-alt1_12.i586.rpm Automated Testing Framework - C bindings (headers)
libatf-sh-0.20-alt1_12.i586.rpm Automated Testing Framework - POSIX shell bindings
Advertisement
Advertisement