/

• .gitignore
• LICENSE
• Makefile
• README
• common.h
• config.mk
• libnormalform.7
• libnormalform.h
• libnormalform_all.c
• libnormalform_and.c
• libnormalform_and2.c
• libnormalform_and2__.c
• libnormalform_and_checked.c
• libnormalform_andl.c
• libnormalform_andl_checked.c
• libnormalform_andl_macro_test.c
• libnormalform_any.c
• libnormalform_apply_transformation__.c
• libnormalform_cdnf.c
• libnormalform_clause_cmp__.c
• libnormalform_clause_sort_cmp__.c
• libnormalform_clone.c
• libnormalform_cnf.c
• libnormalform_contains_clause__.c
• libnormalform_dnf.c
• libnormalform_empty.c
• libnormalform_evaluate.c
• libnormalform_existentially.c
• libnormalform_exists.c
• libnormalform_express.c
• libnormalform_express__.c
• libnormalform_expression_to_term__.c
• libnormalform_false.c
• libnormalform_fix_presentation__.c
• libnormalform_free.c
• libnormalform_free_expression__.c
• libnormalform_from_string.c
• libnormalform_function.c
• libnormalform_get_relationship__.c
• libnormalform_if.c
• libnormalform_if2.c
• libnormalform_if_checked.c
• libnormalform_ifl.c
• libnormalform_ifl_checked.c
• libnormalform_ifl_macro_test.c
• libnormalform_imply.c
• libnormalform_imply2.c
• libnormalform_imply_checked.c
• libnormalform_implyl.c
• libnormalform_implyl_checked.c
• libnormalform_implyl_macro_test.c
• libnormalform_literal_cmp__.c
• libnormalform_literal_sort_cmp__.c
• libnormalform_make_binary__.c
• libnormalform_nand.c
• libnormalform_nand2.c
• libnormalform_nand_checked.c
• libnormalform_nandl.c
• libnormalform_nandl_checked.c
• libnormalform_nandl_macro_test.c
• libnormalform_nexists.c
• libnormalform_nif.c
• libnormalform_nif2.c
• libnormalform_nif_checked.c
• libnormalform_nifl.c
• libnormalform_nifl_checked.c
• libnormalform_nifl_macro_test.c
• libnormalform_nimply.c
• libnormalform_nimply2.c
• libnormalform_nimply_checked.c
• libnormalform_nimplyl.c
• libnormalform_nimplyl_checked.c
• libnormalform_nimplyl_macro_test.c
• libnormalform_nonempty.c
• libnormalform_nor.c
• libnormalform_nor2.c
• libnormalform_nor_checked.c
• libnormalform_norl.c
• libnormalform_norl_checked.c
• libnormalform_norl_macro_test.c
• libnormalform_not.c
• libnormalform_one.c
• libnormalform_or.c
• libnormalform_or2.c
• libnormalform_or2__.c
• libnormalform_or_checked.c
• libnormalform_orl.c
• libnormalform_orl_checked.c
• libnormalform_orl_macro_test.c
• libnormalform_ref.c
• libnormalform_reset_indices_and_counts__.c
• libnormalform_set_indices_and_counts__.c
• libnormalform_singleton.c
• libnormalform_to_string.c
• libnormalform_transformation.c
• libnormalform_true.c
• libnormalform_unique.c
• libnormalform_uniquely.c
• libnormalform_universally.c
• libnormalform_vand.c
• libnormalform_vand_checked.c
• libnormalform_variable.c
• libnormalform_vif.c
• libnormalform_vif_checked.c
• libnormalform_vimply.c
• libnormalform_vimply_checked.c
• libnormalform_vnand.c
• libnormalform_vnand_checked.c
• libnormalform_vnif.c
• libnormalform_vnif_checked.c
• libnormalform_vnimply.c
• libnormalform_vnimply_checked.c
• libnormalform_vnor.c
• libnormalform_vnor_checked.c
• libnormalform_vor.c
• libnormalform_vor_checked.c
• libnormalform_vxnor.c
• libnormalform_vxnor_checked.c
• libnormalform_vxor.c
• libnormalform_vxor_checked.c
• libnormalform_xnor.c
• libnormalform_xnor2.c
• libnormalform_xnor_checked.c
• libnormalform_xnorl.c
• libnormalform_xnorl_checked.c
• libnormalform_xnorl_macro_test.c
• libnormalform_xor.c
• libnormalform_xor2.c
• libnormalform_xor2__.c
• libnormalform_xor_checked.c
• libnormalform_xorl.c
• libnormalform_xorl_checked.c
• libnormalform_xorl_macro_test.c
• man3
• memcheck.c
• memcheck.h
• mk