GitHub - Malaga-FCA-group/Mixed_Simplification_Logic

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
add_neg.R		add_neg.R
multi-assignment.R		multi-assignment.R
negate.R		negate.R
negate_id.R		negate_id.R
simplificationsRegistry.R		simplificationsRegistry.R
simplify_composition.R		simplify_composition.R
simplify_contradiction.R		simplify_contradiction.R
simplify_contradiction2.R		simplify_contradiction2.R
simplify_gen.R		simplify_gen.R
simplify_gen2.R		simplify_gen2.R
simplify_key.R		simplify_key.R
simplify_key2.R		simplify_key2.R
simplify_key_opt.R		simplify_key_opt.R
simplify_key_org.R		simplify_key_org.R
simplify_mixed_imps.R		simplify_mixed_imps.R
simplify_reduction.R		simplify_reduction.R
simplify_reflection.R		simplify_reflection.R
simplify_reflection2.R		simplify_reflection2.R
simplify_rsimp.R		simplify_rsimp.R
simplify_simp.R		simplify_simp.R
simplify_simp2.R		simplify_simp2.R
speed_improvements.R		speed_improvements.R