• bje_dimacs_bad_cls_num : ben_jose.h
• bje_dimacs_bad_literal : ben_jose.h
• bje_dimacs_clause_too_long : ben_jose.h
• bje_dimacs_format_err : ben_jose.h
• bje_dimacs_no_cnf_declaration : ben_jose.h
• bje_dimacs_zero_clauses : ben_jose.h
• bje_dimacs_zero_vars : ben_jose.h
• bje_file_cannot_open : ben_jose.h
• bje_file_corrupted : ben_jose.h
• bje_file_too_big : ben_jose.h
• bje_instance_cannot_load : ben_jose.h
• bje_internal : ben_jose.h
• bje_internal_ex : ben_jose.h
• bje_invalid_root_directory : ben_jose.h
• bje_memout : ben_jose.h
• bje_no_error : ben_jose.h
• bje_parse_bad_number : ben_jose.h
• bje_path_too_long : ben_jose.h
• bje_timeout : ben_jose.h
• bjp_as_release : ben_jose.h
• bjp_invalid : ben_jose.h
• bjp_only_deduc : ben_jose.h
• bjp_test_result : ben_jose.h
• bjp_write_proofs : ben_jose.h
• bjr_error : ben_jose.h
• bjr_no_satisf : ben_jose.h
• bjr_unknown_satisf : ben_jose.h
• bjr_yes_satisf : ben_jose.h