# -*- coding: utf-8 -*-
#-------------------------------------------------------------------------------
# SPDX-FileCopyrightText: © 2024 Walland Heavy Research
# SPDX-License-Identifier: AGPL-3.0-only
#-------------------------------------------------------------------------------

[package]
name = "symbolic-sets-integers"
version = "0.1.0"
description = "Symbolic sets examples and test implementations"
homepage = "https://walland.dev/spruce/"
repository = "https://git.sr.ht/~dcreager/spruce"
readme = "README"
license = "AGPL-3.0-only"
authors = [
  "Douglas Creager <dcreager@dcreager.net>",
]
edition = "2018"

[dependencies]
bitvec = { version="1.0" }
proptest = { version="1.4" }
symbolic-sets = { version="0.1", features=["proptest"], path="../symbolic-sets" }