GitHub repository: DavidFarago/funsearchsat
Primary language: Jupyter Notebook
Description: Using FunSearch to find better SAT heuristics