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.


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


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) -


Name Value
eqntott = 9.0-alt1_11


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



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