GitHub - NaSed/MONET: This is the code to solve MONET poblem.

NaSed / MONET Public

This is the code to solve MONET poblem.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.Rhistory		.Rhistory
.Rhistory(restored)		.Rhistory(restored)
.gitattributes		.gitattributes
.gitignore		.gitignore
A_c_x.R		A_c_x.R
A_m_x.R		A_m_x.R
BMR.exe		BMR.exe
CNF_value.R		CNF_value.R
Check_Conditions.R		Check_Conditions.R
Choose_SplitVar.R		Choose_SplitVar.R
ComparativePlots.R		ComparativePlots.R
DL.exe		DL.exe
DNFGenerating_FK.R		DNFGenerating_FK.R
DNF_value.R		DNF_value.R
EFM_Extract.R		EFM_Extract.R
Easy_case.R		Easy_case.R
FK_B.R		FK_B.R
Hypergraph2IncidenceMat.R		Hypergraph2IncidenceMat.R
Initialize_DNF.R		Initialize_DNF.R
Irredundant.R		Irredundant.R
Main.m		Main.m
Main_EquivalencyCheck.R		Main_EquivalencyCheck.R
Main_GeneratingDual-v2.R		Main_GeneratingDual-v2.R
Main_GeneratingDual.R		Main_GeneratingDual.R
Making_CNF_DNF_Files.R		Making_CNF_DNF_Files.R
MinimumConflictAssignment.R		MinimumConflictAssignment.R
OtherMethods.R		OtherMethods.R
RecursiveCalls_Analysis.R		RecursiveCalls_Analysis.R
StandardProblems.R		StandardProblems.R
Synthetic1.mat		Synthetic1.mat
Synthetic1_Stoich.txt		Synthetic1_Stoich.txt
Synthetic1_revers.txt		Synthetic1_revers.txt
berge.m		berge.m
mtminer.exe		mtminer.exe
mu_frequent_in_A.R		mu_frequent_in_A.R
myCode.py		myCode.py
phi_x_0.R		phi_x_0.R
phi_x_1.R		phi_x_1.R
temp_in_mat.txt		temp_in_mat.txt
test.log		test.log