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


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


Name Value
/lib/ -
boolstuff = 0.1.13-alt1_2 -
rpmlib(PayloadIsLzma) -


Name Value
booldnf = 0.1.13-alt1_2


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] i586 autoimports
    rpm [Sisyphus] noarch autoimports
  2. Update the package index:
    # sudo apt-get update
  3. Install booldnf rpm package:
    # sudo apt-get install booldnf



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_12.i586.rpm An ultrafast, memory-efficient short read aligner
boxes-1.1.1-alt1_14.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.5-alt1_1.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_15.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