FTP Search

Directory

Content Search

booldnf

Disjunctive Normal Form boolean expression command-line

/Main/Fedora/x86_64/Development/Tools/

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.

Info:

Homepage:	http://perso.b2b2c.ca/sarrazip/dev/boolstuff.html
Package version:	0.1.11
Architecture:	x86_64
Distribution:	Fedora
Filename:	booldnf-0.1.11-1.fc7.x86_64.rpm

Browse inside booldnf-0.1.11-1.fc7.x86_64.rpm:

pkg://booldnf-0.1.11-1.fc7.x86_64.rpm:22606/  info  downloads

[DIR]usr/  65535+ twin directories
786 B  2007-05-05HEADER  view  1646+ mirrors

Download booldnf-0.1.11-1.fc7.x86_64.rpm:

2006-05-23  ftp://ftp.uni-frankfurt.de/pub/unix/linux/Mirror/ftp.redhat.com/fedora/core/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uni-frankfurt.de/pub/unix/linux/Mirror/ftp.redhat.com/fedora/core/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.inf.utfsm.cl/pub/Linux/RedHat/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.inf.utfsm.cl/pub/Linux/RedHat/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uni-magdeburg.de/pub/mirror/linux/fedora/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uni-magdeburg.de/pub/mirror/linux/fedora/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.linux.ncsu.edu/mirror/ftp.redhat.com/pub/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.linux.ncsu.edu/mirror/ftp.redhat.com/pub/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://debian.lcs.mit.edu/pub/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.cprm.net/.disk1/fedora/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.wustl.edu/pub/linux/distributions/fedora/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.wustl.edu/pub/linux/distributions/fedora/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uni-hannover.de/pub/mirror/linux/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uni-koeln.de/mirrors/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uni-koeln.de/mirrors/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/redhat-fedora/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.swin.edu.au/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.itu.edu.tr/Mirror/Fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.itu.edu.tr/Mirror/Fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.tvnet.hu/pub/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.linux.org.uk/pub/distributions/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.ufanet.ru/pub/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.ps.pl/dsk0/Fedora/fedora-enchilada/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.ps.pl/dsk0/Fedora/fedora-enchilada/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.free.fr/.mirrors8/fedora.redhat.com/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.free.fr/.mirrors8/fedora.redhat.com/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.dc.aleron.net/pub/linux/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.dc.aleron.net/pub/linux/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uib.no/pub/Linux/Distributions/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uib.no/pub/Linux/Distributions/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.crc.dk/pub/mirrors/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.crc.dk/pub/mirrors/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.uni-oldenburg.de/linux/ftp.fedoraproject.org/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.mathematik.uni-marburg.de/pub/mirror/fedora/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.mathematik.uni-marburg.de/pub/mirror/fedora/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.netcraft.com.au/pub/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.netcraft.com.au/pub/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.upjs.sk/pub/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.dulug.duke.edu/fedora/pub/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.int-evry.fr/mirror2/download.fedora.redhat.com/pub/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.int-evry.fr/mirror2/download.fedora.redhat.com/pub/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.ip.pt/pub/fedora/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://64.50.238.52/.1/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.crihan.fr/mirrors/fedora.redhat.com/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.crihan.fr/mirrors/fedora.redhat.com/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://64.50.236.52/.1/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.demon.nl/disk4/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://ftp.demon.nl/disk4/fedora/linux/development/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://147.52.159.12/mirrors/linux/fedora/linux/releases/8/Everything/x86_64/os/Packages/booldnf-0.1.11-1.fc7.x86_64.rpm
2006-05-23  ftp://147.52.159.12/mirrors/linux/fedora/linux/releases/7/Everything/x86_64/os/Fedora/booldnf-0.1.11-1.fc7.x86_64.rpm