name: sat-heuristic-validator
description: A tool that tests correctness performance of heuristic algorithms for SAT problem.
version: 0.0.4
spec_version: 1.0
home_url: https://github.com/wanatpj/sat-heuristic-validator
news_url: https://libraries.io/pypi/sat-heuristic-validator/versions.atom
date: 2023-10-03
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/sat-heuristic-validator?number=0.0.4
