lfsc-0.20120321-alt1_7.i586.rpm


Advertisement

Description

lfsc - SMT proof checker

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

Provides

  • lfsc = 0.20120321-alt1_7

    Download

    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

    • /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
    Advertisement
    Advertisement