name: pydelta-smt
description: Delta debugger for SMT-LIB files
license_spdx: MIT
version: 0.4.dev58
spec_version: 1.0
home_url: https://github.com/nafur/pydelta
news_url: https://libraries.io/pypi/pydelta-smt/versions.atom
date: 2020-12-07
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/pydelta-smt?number=0.4.dev58
vcs_tool: git
vcs_repository: https://github.com/nafur/pydelta
vcs_branch: master
