name: ipasir-d
description: An interface for IPASIR api of SAT solvers.
license_spdx: GPL-3.0
version: 0.0.2
spec_version: 1.0
home_url: https://github.com/waddon/ipasir-d
news_url: https://libraries.io/dub/ipasir-d/versions.atom
date: 2019-02-10
about_resource: NONE
libraries_io_url: https://libraries.io/dub/ipasir-d?number=0.0.2
vcs_tool: git
vcs_repository: https://github.com/wadoon/ipasir-d
vcs_branch: master
