varisat-internal-proof 0.2.2

[dependencies.anyhow]
version = "1.0.32"

[dependencies.varisat-formula]
version = "=0.2.2"
[dev-dependencies.proptest]
version = "0.10.1"

[package]
authors = ["Jannis Harder <me@jix.one>"]
description = "Internal proof format for the Varisat SAT solver"
edition = "2018"
homepage = "https://jix.one/project/varisat/"
license = "MIT/Apache-2.0"
name = "varisat-internal-proof"
readme = "README.md"
repository = "https://github.com/jix/varisat"
version = "0.2.2"