elenchus-cli 0.6.0

Command-line interface for the elenchus consistency checker: check a .vrf string or file and report CONSISTENT / WARNING / UNDERDETERMINED / CONFLICT.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

[package]
name = "elenchus-cli"
version.workspace = true
edition.workspace = true
authors.workspace = true
license.workspace = true
repository.workspace = true
homepage.workspace = true
description = "Command-line interface for the elenchus consistency checker: check a .vrf string or file and report CONSISTENT / WARNING / UNDERDETERMINED / CONFLICT."
readme = "README.md"
keywords = ["logic", "inference", "verification", "cli", "sat"]
categories = ["command-line-utilities", "mathematics"]

# WiX config for the Windows `.msi` installer (cargo-dist + WiX v3). Generated by
# `dist init`; the GUIDs match `wix/main.wxs` and MUST stay stable across releases
# — `upgrade-guid` is the product identity Windows uses to upgrade/uninstall (the
# app then shows up in "Add or remove programs"), `path-guid` keys the PATH entry.
[package.metadata.wix]
upgrade-guid = "E54D181B-1560-4D05-9A16-94AF00A48F66"
path-guid = "A1259E09-2E3F-4508-AC1D-77E711C0EAA3"
license = false
eula = false

[[bin]]
name = "elenchus-cli"
path = "src/main.rs"

[dependencies]
# std is required here (this is a binary): enable it on the otherwise-no_std libs.
elenchus-solver = { workspace = true, features = ["std"] }
elenchus-compiler = { workspace = true, features = ["std"] }
clap = { workspace = true }