| """Clause graph utilities (stub for compatibility).""" | |
| def build_clause_graph(clauses): | |
| return {} | |
| def get_clause_dependencies(clause_name): | |
| return [] | |
| """Clause graph utilities (stub for compatibility).""" | |
| def build_clause_graph(clauses): | |
| return {} | |
| def get_clause_dependencies(clause_name): | |
| return [] | |