FTP Search

Directory

Content Search

booldnf

Disjunctive Normal Form boolean expression command-line

/Main/Fedora/ppc/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:	ppc
Distribution:	Fedora
Filename:	booldnf-0.1.11-1.fc7.ppc.rpm

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

pkg://booldnf-0.1.11-1.fc7.ppc.rpm:25184/  info  downloads

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

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

2006-05-23  ftp://ftp.uni-frankfurt.de/pub/unix/linux/Mirror/ftp.redhat.com/fedora/core/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.uni-frankfurt.de/pub/unix/linux/Mirror/ftp.redhat.com/fedora/core/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.linux.ncsu.edu/mirror/ftp.redhat.com/pub/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.linux.ncsu.edu/mirror/ftp.redhat.com/pub/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.wustl.edu/pub/linux/distributions/fedora/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.wustl.edu/pub/linux/distributions/fedora/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.uni-koeln.de/mirrors/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.uni-koeln.de/mirrors/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/redhat-fedora/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.itu.edu.tr/Mirror/Fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.itu.edu.tr/Mirror/Fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.linux.org.uk/pub/distributions/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.ps.pl/dsk0/Fedora/fedora-enchilada/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.ps.pl/dsk0/Fedora/fedora-enchilada/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.free.fr/.mirrors8/fedora.redhat.com/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.free.fr/.mirrors8/fedora.redhat.com/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.crc.dk/pub/mirrors/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.crc.dk/pub/mirrors/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.netcraft.com.au/pub/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.netcraft.com.au/pub/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.dulug.duke.edu/fedora/pub/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.int-evry.fr/mirror2/download.fedora.redhat.com/pub/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://64.50.238.52/.1/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.crihan.fr/mirrors/fedora.redhat.com/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.crihan.fr/mirrors/fedora.redhat.com/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://64.50.236.52/.1/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.demon.nl/disk4/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.demon.nl/disk4/fedora/linux/development/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://147.52.159.12/mirrors/linux/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://147.52.159.12/mirrors/linux/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.uni-jena.de/pub/linux/MIRROR.redhat/fedora/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://77.88.19.68/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://77.88.19.68/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://200.17.202.1/fedora-enchilada/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://200.17.202.1/fedora-enchilada/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.lug.udel.edu/pub/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://ftp.lug.udel.edu/pub/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://200.17.202.16/fedora-enchilada/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://200.17.202.16/fedora-enchilada/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2007-05-22  ftp://ftp.udc.es/mirror/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://mirrors.hpcf.upr.edu/pub/Mirrors/redhat/download.fedora.redhat.com/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://mirrors.hpcf.upr.edu/pub/Mirrors/redhat/download.fedora.redhat.com/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://sunsite.mff.cuni.cz/MIRRORS/fedora.redhat.com/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2006-05-23  ftp://sunsite.mff.cuni.cz/MIRRORS/fedora.redhat.com/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2007-05-22  ftp://alviss.et.tudelft.nl/pub/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2007-05-22  ftp://ftp.tudelft.nl/pub/Linux/download.fedora.redhat.com/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2007-05-22  ftp://ftp.tudelft.nl/pub/Linux/download.fedora.redhat.com/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2007-05-22  ftp://ftp.rhrz.uni-bonn.de/pub-koeln/mirrors/fedora/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm
2007-05-22  ftp://ftp.rhrz.uni-bonn.de/pub-koeln/mirrors/fedora/linux/releases/7/Everything/ppc/os/Fedora/booldnf-0.1.11-1.fc7.ppc.rpm
2007-05-22  ftp://ftp.li.kernel.org/pub/.3/fedora.redhat.com/linux/releases/8/Everything/ppc/os/Packages/booldnf-0.1.11-1.fc7.ppc.rpm