Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.154.509 Times

The Boolfreak Minimizer 1.0

Company: boolfreak.sourceforge.net
Date Added: August 13, 2012  |  Visits: 234

The Boolfreak Minimizer

Report Broken Link
Printer Friendly Version


Product Homepage
Download (28 downloads)

Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.

Requirements: No special requirements
Release Date: August 13, 2012
Platforms: Windows, Mac, Linux
Users rating: 0/10

License: Freeware Size: 28.73 KB
THE BOOLFREAK MINIMIZER RELATED
Development Editors  -  C-MINUIT interface 20031201
C-MINUIT enables you to minimize functions written in C, using the MINUIT minimizer from CERNlib. The package contains the MINUIT code (fortran77) as well as some C-fortran interface code. C-MINUIT is licenced under the GNU Public License (GPL),...
163.84 KB  
Development Tools  -  RMSEARCH 1.0
Some optimization problems have very simple surfaces to optimize. The optimizer simply proceeds downhill to the unique minimizer and returns happily - all is good in the world. Sadly, more often the objective function has multiple local...
102.4 KB  
MS Office Add-Ins  -  Sun Presentation Minimizer 1.0
The Oracle Presentation Minimizer is used to reduce the file size of the current presentation. Images will be compressed, and data that is no longer needed will be removed. The Oracle Presentation Minimizer can optimize the image quality...
1.79 MB  
Utilities  -  Karnaugh Map Minimizer 0.4
Karnaugh Map Minimizer is free (GPL) software for minimizing boolean functions using the graphic method of Karnaugh maps. I made it primarily for educational purposes so double check the output if you intend to use it for any "real" work. I hope...
204.8 KB  
Backup Utilities  -  System Tray Minimizer 1.3.0
System Tray Minimizer lets you minimize any windows utilities to the system tray icons and keep your taskbar clean. With this program, you can adjust free space and freedom on your taskbar. System Tray Minimizer makes it easier to manage all your...
2.44 MB  
Shell & Desktop  -  Minimizer 1.0
Minimizer is a prank program that will minimize the active window every twenty seconds! To remove, restart your computer.
3 KB  
Shell Enhancements  -  Actual Window Minimizer software 6.0.0.10
Actual Window Minimizer was created to bring more convenience in window management, offering new ways for optimizing your workspace that standard Windows functions don't provide. It lets you minimize any window to the system tray, thus leaving the...
4.37 MB  
Arcade Style Games  -  Spot the Diff' 2 1.0
Spot the Diff' 2 is a fun program that will have you putting your eyes to the test. You have 2 almost identical pictures in front of you - can you find the 5 differences? If you get stuck, there are clues available. While you play, listen to fun...
10.23 MB  
Entertainment Tools  -  At The Earth's Core 1.0
At the Earth's Core, by Edgar Rice Burroughs When David Innes and his inventor friend Abner Perry pierced the Earth's crust in their Iron Mole, never did they expect to find a fantastic inner world of eternal daylight! A world where prehistoric...
637 KB  
3D Action Games  -  Lord of the Rings Screensavers 1.0
The Lord of the Rings Screensaver presents you the movie with multiple transition screen saver effects coming with great background music.This is a Must for the Lord of the Ring Fans. If you want to make your own screensavers with your favorite...
1.01 MB  
NEW DOWNLOADS IN EDUCATION, SCIENCE
Education  -  Sliding Down an Incline Plane Model 1.0
This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...
51.2 KB  
Education  -  MrAIC 1.4.4
MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...
10.24 KB  
Education  -  HapEvolution 1.0
Complex diseases involve multiple genes with low penetration which may be distributed over the genome. Most of the current haplotype association methods are typically restricted in length and consist of alleles from contiguous SNPs. These...
1.61 MB  
Education  -  Three Charges 1.0
In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...
1.36 MB  
Education  -  AWclust 3.0
AWclust is easy to use non-parametric population structure analysis software written for R with a GUI interface. Just point and click and you will be on your way to discovering the important cluster information in your SNP data sets.
20.48 KB  
Science  -  Multiple beam interference 1.0
This applet shows multiple beam interferences from a parallel dielectric thin film. The applet lets you study the evolution of reflection and refraction factors when the index of refraction and the absorption of the film and the substrate are...
10.24 KB  
Science  -  Point Charge Forces in 2D Model 1.0
The Point Charge Forces in Two-Dimensions model investigates the electric force that a charged particle experiences in a two-dimensional situation, because of four other nearby charged particles. The net electric force is shown as an arrow...
1.36 MB  
Science  -  Lennard-Jones PVT System Model 1.0
The Lennard-Jones PVT System simulates a two-dimensional system of particles confined between a thermal reservoir and a piston. This computer model is designed to study the equation of state for particles interacting via a simple but realistic...
962.56 KB  
Science  -  Ideal Fermi Gas Integral 1.0
The STP IdealFermiGasIntegral program numerically determines the value of the chemical potential of an ideal Fermi gas for a given temperature and density. STP IdealFermiGasIntegral is part of a suite of Open Source Physics programs...
476.16 KB  
Science  -  JiveX DICOM Viewer 4.4
The DICOM Viewer is available as a free Personal Edition for non-commercial usage. This version is limited in its functionality and can only be used for a limited period of time. Note: This version expires on 2012-01-01. Before...
25.55 MB