Metadata-Version: 2.1
Name: sat-heuristic-validator
Version: 0.0.3
Summary: A tool that tests correctness performance of heuristic algorithms for SAT problem.
Author: Paweł Wanat
Author-email: wanatpj+sat@gmail.com
License-File: LICENSE
