re-write argument parser to derive semantics

timbeurskens · Aug 13, 2022 · dc5ca99 · dc5ca99
1 parent 018bc2c
commit dc5ca99
Show file tree

Hide file tree

Showing 3 changed files with 220 additions and 65 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -2,13 +2,15 @@
 name = "rsbdd"
 version = "0.9.3"
 edition = "2021"
+authors = ["Tim Beurskens <[email protected]>"]
+description = "A BDD-based SAT solver"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
 dot = "0.1.4"
 itertools = "0.10.3"
-clap = "2.33.3"
+clap = { version = "3.2.17", features = ["derive"] }
 lazy_static = "1.4.0"
 regex = "1"
 csv = "1.1.6"