name: diffabs
description: Differentiable abstract domain implementations for neural network reasoning on PyTorch
license_spdx: MIT
version: 0.1
spec_version: 1.0
home_url: https://github.com/XuankangLin/DiffAbs
news_url: https://libraries.io/pypi/diffabs/versions.atom
date: 2020-08-05
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/diffabs?number=0.1
vcs_tool: git
vcs_repository: https://github.com/XuankangLin/DiffAbs
vcs_branch: master
