• best : pyabc_split
• buffer_size : Minisat
• cmdclass : setup
• CRef_Undef : Minisat
• define_macros : setup
• ext : setup
• ext_modules : setup
• funcs : pyabc_split
• getch : getch
• libraries : setup
• library_dirs : setup
• lit_Error : Minisat
• lit_Undef : Minisat
• name : setup
• nprimes : Minisat
• null_file : redirect
• primes : Minisat
• py_modules : setup
• src_file : setup
• t_1 : pyabc_split
• t_2 : pyabc_split
• t_3 : pyabc_split
• version : setup