booldnf-0.1.13-alt1_2.i586.rpm


Advertisement

Description

booldnf - Disjunctive Normal Form boolean expression command-line

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports i586
Package name booldnf
Package version 0.1.13
Package release alt1_2
Package architecture i586
Package type rpm
Installed size 47.49 KB
Download size 47.49 KB
Official Mirror ftp.altlinux.org
booldnf is a program that reads boolean expressions from its standard
input and rewrites them in Disjunctive Normal Form on its standard output.
It uses the BoolStuff library.

Alternatives

Package Version Architecture Repository
booldnf-0.1.13-alt1_2.x86_64.rpm 0.1.13 x86_64 Autoimports
booldnf - - -

Requires

Name Value
/lib/ld-linux.so.2 -
boolstuff = 0.1.13-alt1_2
libstdc++.so.6(GLIBCXX_3.4.11) -
rpmlib(PayloadIsLzma) -

Provides

Name Value
booldnf = 0.1.13-alt1_2

Download

Type URL
Binary Package booldnf-0.1.13-alt1_2.i586.rpm
Source Package boolstuff-0.1.13-alt1_2.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 booldnf rpm package:
    # sudo apt-get install booldnf

Files

Path
/usr/bin/booldnf
/usr/share/doc/booldnf-0.1.13/test-booldnf.pl
/usr/share/man/man1/booldnf.1.gz

See Also

Package Description
boolstuff-0.1.13-alt1_2.i586.rpm Disjunctive Normal Form boolean expression library
boolstuff-devel-0.1.13-alt1_2.i586.rpm Development files for boolstuff
bootparamd-0.17-alt2_46.i586.rpm A server process which provides boot information to diskless clients
bowtie-1.0.1-alt1_11.i586.rpm An ultrafast, memory-efficient short read aligner
boxes-1.1.1-alt1_6.i586.rpm Draw any kind of box around some given text
brainparty-0.61-alt1_8.i586.rpm Set of 36 minigames to train your brain in an entertaining way
brewtarget-2.3.1-alt1_2.i586.rpm An open source beer recipe creation tool
brogue-1.7.4-alt1_8.i586.rpm Roguelike game that favors simplicity over complexity
brutalchess-0.5.2-alt1_17.i586.rpm A 3D chess game inspired by Battle Chess
bti-034-alt1_14.i586.rpm Bash Twitter Idiocy
btparser-0.26-alt1_8.i586.rpm Parser and analyzer for backtraces produced by GDB
buffer-1.19-alt2_17.i586.rpm General purpose buffer program
bumprace-1.5.5-alt1_2.i586.rpm Drive the ship to exit
bunny-0.93-alt1_20.i586.rpm Instrumented C code security fuzzer
burgerspace-1.9.2-alt1_9.i586.rpm A Burgertime(TM) clone
Advertisement
Advertisement