Macintosh Software / Education / Science

The Boolfreak Minimizer 1.0

Company: boolfreak.sourceforge.net

Date Added: August 13, 2012 | Visits: 346

Report Broken Link
Printer Friendly Version

Product Homepage
Download (46 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

USER REVIEWS

More Reviews or Write Review

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
Action Games - The Infiltrator Deathmatch 1.0 The Infiltrator Deathmatch: Battle up to seven bloodthirsty bots in five different arenas packing firearms guaranteed to blow you and your enemies away. Features: Customizable controls. Customizable music. Three modes of play. Multiple difficulty...	1.57 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 - 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
Education - BEAGLE/BEAGLECALL Scripts Package 1.0 These scripts are for importing and exporting files from the BEAGLE and BEAGLECALL Genetic Analysis Software Packages	317.44 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

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts