eqntott-9.0-alt1_11.x86_64.rpm


Advertisement

Description

eqntott - Generates truth tables from Boolean equations

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports x86_64
Package filename eqntott-9.0-alt1_11.x86_64.rpm
Package name eqntott
Package version 9.0
Package release alt1_11
Package architecture x86_64
Package type rpm
Category Engineering
Homepage -
License -
Maintainer -
Download size 42.30 KB
Installed size 42.30 KB
Converts Boolean logic expressions into a truth table that is useful for
preparing input to espresso package for logic minimization, converting logic
expressions into simpler forms, and for creating truth tables.

Alternatives

Package Version Architecture Repository
eqntott-9.0-alt1_11.i586.rpm 9.0 i586 Autoimports
eqntott - - -

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)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
rpmlib(PayloadIsLzma) -
rtld(GNU_HASH) -

Provides

Name Value
eqntott = 9.0-alt1_11

Download

Type URL
Mirror ftp.altlinux.org
Binary Package eqntott-9.0-alt1_11.x86_64.rpm
Source Package eqntott-9.0-alt1_11.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 eqntott rpm package:
    # sudo apt-get install eqntott

Files

Path
/usr/bin/eqntott
/usr/share/doc/eqntott-9.0/ChangeLog
/usr/share/doc/eqntott-9.0/README
/usr/share/man/man1/eqntott.1

See Also

Package Description
eqp-09e-alt1_12.x86_64.rpm Automated theorem prover for first-order equational logic
equalx-0.7.1-alt2_15.x86_64.rpm A graphical editor for writing LaTeX equations
esniper-2.35.0-alt1_4.x86_64.rpm A lightweight console application for sniping eBay auctions
espresso-ab-1.0-alt1_19.x86_64.rpm A boolean minimization tool
eterm-0.9.6-alt1_21.x86_64.rpm Enlightened terminal emulator
ethstatus-0.4.8-alt1_4.x86_64.rpm Console-based ethernet statistics monitor
etrace-1.1-alt1_15.x86_64.rpm Network tracing tool
etrophy-0.5.1-alt1_6.x86_64.rpm Library that manages scores, trophies and unlockables
ettercap-0.8.2-alt1_14.20170306git60aca9.x86_64.rpm Network traffic sniffer/analyser, NCURSES interface version
eureka-1.24-alt1_2.x86_64.rpm A cross-platform map editor for the classic DOOM games
eurephia-1.1.0-alt1_9.x86_64.rpm An advanced and flexible OpenVPN user authentication plug-in
eurephia-admin-1.1.0-alt1_9.x86_64.rpm The eurephia command line administration utility
eurephia-init-1.1.0-alt1_9.x86_64.rpm Utility for initializing a new eurephia database
eurephia-sqlite3-1.1.0-alt1_9.x86_64.rpm The eurephia SQLite3 database driver
eurephia-utils-1.1.0-alt1_9.x86_64.rpm Misc. eurephia utilities
Advertisement
Advertisement