BFMaster

Research project sat problems of boolean functions. Qt 5.2.1 library written. Author of algorithms Listrovoy S.V. Project developed by Sidorenko A.V.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
bin		bin
ico		ico
qss		qss
.gitignore		.gitignore
BFMaster.pro		BFMaster.pro
README.md		README.md
cbool_formula.cpp		cbool_formula.cpp
cbool_formula.h		cbool_formula.h
cexecut_object.cpp		cexecut_object.cpp
cexecut_object.h		cexecut_object.h
cexecut_thread.cpp		cexecut_thread.cpp
cexecut_thread.h		cexecut_thread.h
cmodel_bf_list.cpp		cmodel_bf_list.cpp
cmodel_bf_list.h		cmodel_bf_list.h
ctoolbar_header.cpp		ctoolbar_header.cpp
ctoolbar_header.h		ctoolbar_header.h
cwidget_bf_generate.cpp		cwidget_bf_generate.cpp
cwidget_bf_generate.h		cwidget_bf_generate.h
cwidget_bf_list.cpp		cwidget_bf_list.cpp
cwidget_bf_list.h		cwidget_bf_list.h
cwidget_bf_view.cpp		cwidget_bf_view.cpp
cwidget_bf_view.h		cwidget_bf_view.h
cwidget_consol.cpp		cwidget_consol.cpp
cwidget_consol.h		cwidget_consol.h
cwidget_panel_mode.cpp		cwidget_panel_mode.cpp
cwidget_panel_mode.h		cwidget_panel_mode.h
cwidget_tree_sat.cpp		cwidget_tree_sat.cpp
cwidget_tree_sat.h		cwidget_tree_sat.h
cwindow_main.cpp		cwindow_main.cpp
cwindow_main.h		cwindow_main.h
ico.qrc		ico.qrc
main.cpp		main.cpp
qss.qrc		qss.qrc

cdandrey/BFMaster