Quine-McCluskey logic simplifier

  •        0

Quine-McCluskey boolean logic simplifier implemented in C++. It allows simplifying up to 32 variable input functions, including don't-care values. The program was written for digital design classes at the Poznan University of Technology (Poland).




Related Projects


QMcBeaver is an object-oriented program to perform Quantum Monte Carlo calculations on atoms and molecules. It is designed to be easy to modify, allowing new ideas to be quickly implemented.

Ct-qmc - A weak coupling continious time Quantum MonteCarlo Code made by group of A. N. Rubtsov at M

This project is an implementation of an interaction expansion continuos time quantum Monte-carlo algorithm for fermions. It is designed to perform numerical solution of Anderson impurity model in continuous time domain. Written in mixture of c and c++ at Moscow State University by A. N. Rubtsov et al. Corresponding paper - http://arxiv.org/abs/cond-mat/0411344 The development of this code is stopped. The latest source download (07.11.2011) is available as ct-qmc-1.6.2.tar.gz This code supports M

Eskit - Electronic Structure Toolkit

1,A plane wave pseudopotential code for ab-initio calculation based on density functional theory 2,Quantum Monte-carlo

Qmcpack - Quantum Monte Carlo Package

QMCPACK: This C++ QMC code was developed at University of Illinois and is designed for high-performance computers. It implements advanced QMC algorithms and is parallelized with both MPI and OpenMP. Generic programming enabled by templates in C++ is extensively utilized to achieve high efficiency on HPC systems. Documents and helps at http://qmcpack.cmscc.org/Getting started, build How to use QMCPACK Doxygen code document Frequently Asked Questions updates, discussions and more Submit bugs and o

Pi-qmc - Path integral quantum Monte Carlo

This is a quantum simulation program from the Shumway Research Group, which focuses on applications to nanoscience and technology. Path integral Monte Carlo (PIMC) simulates particles (often electrons and ions) by directly sampling the canonical partition function. In the path integral formulation of quantum statistical mechanics developed by Richard Feynman, particles get represented by closed imaginary-time trajectories of length �/kT. PIMC simulations are able to compute total energies, cor

Qmctutorials - Tutorial Materials for QMCPACK

This is a repository for tutorial materials for QMCPACK, Quantum Monte Carlo Package, developed at University of Illinois at Urbana-Champaign. Documentation on the tutorial is available at http://qmcpack.cmscc.org/tutorials For big HDF5 files for the wavefunctions, use Downloads and provide the script similar to this in a test directory. See be/getfiles.sh #!/usr/bin/env bashH5FILE=be.4.6bohr.pwscf.h5URL=http://qmctutorials.googlecode.com/files/$H5FILEif [ -e $H5FILE ]; then echo 'Found', $H5FIL

Qmctools - Tools for quantum Mote Carlo simulations

A collection of utilities and tools to run QMC codes released under GPL v2. 2011-04-19wfconv/ppconvert are now available as a package and can be download by subversion as: svn co http://qmctools.googlecode.com/svn/trunk/wfconvertThe distribution includes blitz header files and Common library. It uses the same build system based on cmake and needs these libraries to compile the tools libxml2 hdf5 fftw3 esinpline http://sourceforge.net/projects/einspline/ With XYZ_HOME, simply run cd buildcmake ..

Pimcplusplus - PIMC++ does fully-correlated simulations of quantum systems in continuous space at fi

What is it?PIMC++, cowritten by Bryan Clark and Ken Esler, is designed to compute equilibrium properties of quantum systems using path integral Monte Carlo. Among other things, it has been used for electronic structure calculations, simulations of Helium, and simulations of water. Why does it exist?Computational quantum mechanics involves the use of complicated algorithms and sophisticated codes to calculate properties of quantum systems. In many situations, people end up reinventing the wheel b

Obd2-instruments - Automotive CAN bus implemention including OBD2 reporting and gauge/display driver

This project contains multiple subsystems for implementing a custom automotive network using CAN bus, including OBD2 and status reporting, and converting CAN bus reported parameter into gauge or screen outputs. The code supports multiple popular microcontrollers in the Atmel AVR and STMicro STM32 family, and common CAN bus controllers. The STM32 directory contains code for the STM32F100 series microcontrollers. It has device support for both the MCP2515 SPI CAN controller and the bxCAN controlle

Pomerol - An exact diagonalization code for an efficient calculation of second-order correlators of

pomerol is an exact diagonalization (full-ED) code written in C++ aimed at solving condensed matter second-quantized models of interacting fermions on finite size lattices at finite temperatures. It is mostly developed to produce single and two-particle Greens functions and corresponding vertex functions of a Hubbard model on a cluster. DocumentationCheck http://pomerol.sourceforge.net for the documentation The static library, libpomerol.a is built, the executable pomerolDiag is linked with it.