Searched refs:_cffi_f_clingo_solve_control_add_clause (Results 1 – 2 of 2) sorted by relevance
13764 _cffi_f_clingo_solve_control_add_clause(PyObject *self, PyObject *args) in _cffi_f_clingo_solve_control_add_clause() function13814 # define _cffi_f_clingo_solve_control_add_clause _cffi_d_clingo_solve_control_add_clause macro18353 …{ "clingo_solve_control_add_clause", (void *)_cffi_f_clingo_solve_control_add_clause, _CFFI_OP(_CF…
13052 _cffi_f_clingo_solve_control_add_clause(PyObject *self, PyObject *args) in _cffi_f_clingo_solve_control_add_clause() function13102 # define _cffi_f_clingo_solve_control_add_clause _cffi_d_clingo_solve_control_add_clause macro17641 …{ "clingo_solve_control_add_clause", (void *)_cffi_f_clingo_solve_control_add_clause, _CFFI_OP(_CF…