Минимизация булевых функций

Минимизация булевых функций Работа по минимизации булевых функций началась в 2007 году. И этот проект является текущей версией по данному научному исследованию.

min7
.svn
genmin6v0.0.cpp
genmin7v0.0.cpp
genmin.v0.0.cpp
nbproject
private
.svn
Package-Debug.bash
project.xml
project.properties
Makefile-variables.mk
Package-ub6_tbb_mpi.bash
Makefile-ub6_tbb_mpi.mk
Package-ub7_tbb.bash
Makefile-ub7_tbb.mk
Package-ub7_deep.bash
Makefile-ub7_deep.mk
Package-ub7.bash
Makefile-ub7.mk
Package-ub6_makelp.bash
Makefile-ub6_makelp.mk
Package-min6.bash
Makefile-min6.mk
Package-ub6_9x9.bash
Makefile-ub6_9x9.mk
Package-ub6_other.bash
Makefile-ub6_other.mk
Package-shift.bash
Makefile-shift.mk
Package-picker.bash
Makefile-picker.mk
Package-ub6_77.bash
Makefile-ub6_77.mk
Package-nl.bash
Makefile-nl.mk
Package-lp.bash
Makefile-lp.mk
Package-full.bash
configurations.xml
Makefile-full.mk
Makefile-impl.mk
Makefile-Debug.mk
BooleanFunction.cpp
BooleanFunction.h
DefineConfiguration.h
FullLibrary.cpp
FullLibrary.h
G6Library.cpp
G6Library.h
go.sh
go.sh.save
LibraryInterface.cpp
LibraryInterface.h
LPExtractorNL.cpp
LPExtractorNL.h
LPLibrary.cpp
LPLibrary.h
Makefile
makefl.cpp
makelp.cpp
makenl.cpp
min6.cpp
mpi_ub6_9x9.cpp
mpi_ub6_77.cpp
mpi_ub6_makelp.cpp
mpi_ub6oth.cpp
mpi_ub7.cpp
mpi_ub7_2.cpp
mpi_ub7_deep.cpp
mpi_ub7_tbb.cpp
mppbf_run.sh
mppbf_stop.sh
NLLibrary.cpp
NLLibrary.h
picker.cpp
settings
shiftanal.cpp
ub6_tbb_mpi.cpp