The reference implementation for the ANYCSP algorithm that learns search heuristics for SAT problems using graph neural networks (GNNs).
Keywords: constraint satisfaction problem, CSP, search heuristics, graph neural networks, GNN, machine learning, Python, PyTorch