treereduce-smtlib: Reducer for SMT-Lib 2

Cargo.toml

@@ -6,10 +6,11 @@ members = [
     "crates/treereduce-javascript",
     "crates/treereduce-lua",
     "crates/treereduce-rust",
+    "crates/treereduce-smtlib",
     "crates/treereduce-souffle",
     "crates/treereduce-swift",
 ]
 
 # https://nnethercote.github.io/perf-book/build-configuration.html
 [profile.release]
-lto = true
+lto = true

crates/treereduce-smtlib/Cargo.toml

@@ -0,0 +1,16 @@
+[package]
+name = "treereduce-smtlib"
+description = "Fast, parallel, syntax-aware program reducer for SMT-Lib 2"
+version = "0.3.1"
+keywords = ["program-reducer", "minimization", "test-case-reduction", "smtlib"]
+edition = "2021"
+authors = ["Langston Barrett <[email protected]>"]
+license = "MIT"
+readme = "../../README.md"
+homepage = "https://github.com/langston-barrett/treereduce"
+repository = "https://github.com/langston-barrett/treereduce"
+
+[dependencies]
+anyhow = "1.0"
+treereduce = { version = "0.3.1", path = "../treereduce", features = ["cli"] }
+tree-sitter-smtlib2 = { git = "https://github.com/Halbaroth/tree-sitter-smtlib2" }

crates/treereduce-smtlib/src/main.rs

@@ -0,0 +1,11 @@
+use std::collections::HashMap;
+
+use anyhow::Result;
+
+fn main() -> Result<()> {
+    treereduce::cli::main(
+        tree_sitter_smtlib2::language(),
+        tree_sitter_smtlib2::NODE_TYPES,
+        HashMap::new(),
+    )
+}