rakeeb-hossain/nnsat-public

NNSAT: Learning initialization heuristics from DRAT proofs

nnsat-public

This repository contains the code and data for the NNSAT project.

Running the benchmark requires the following dependencies:

• Espresso logic minimizer in PATH: https://github.com/classabbyamp/espresso-logic