Policy Gradient MaxSAT Solver

Model

Reproducibility

Requirements

• PyTorch.
• Pytorch Geometric.
• TensorFlow.
• PyMiniSolvers.
• pip install -U tbparse
• pip install seaborn
• pip install -U "ray[tune]"
• pip install optuna
• pip install networkx

Benchmark instances

You can download benchmark instances from SATLIB.

Team