SATfeatPy - A Python-based Feature Extraction System for Satisfiability

1 code implementation • 29 Apr 2022 • Benjamin Provan-Bessell, Marco Dalla, Andrea Visentin, Barry O'Sullivan

This paper introduces SATfeatPy, a library that offers feature extraction techniques for SAT problems in the CNF form.