[package]
name = "rsat-cli"
version = "0.1.0"
authors = ["Prateek Kumar <prateek@prateekkumar.in>"]
edition = "2018"
description = """
SolHOP SAT Solver
"""
default-run = "rsat"
homepage = "https://solhop.github.io/rsat/"
repository = "https://github.com/solhop/rsat-cli"
readme = "README.md"
keywords = ["SAT", "Boolean", "Satisfiability", "Solver", "Math"]
categories = ["science"]
license = "MIT"
exclude = ["/.vscode/", "/.github/"]

[badges]
maintenance = { status = "actively-developed" }

[dependencies]
rsat = "=0.1.6"
structopt = "0.3"