added LICENSE + comments

crillab · Nov 22, 2024 · b323a66 · b323a66
1 parent e93db31
commit b323a66
Show file tree

Hide file tree

Showing 4 changed files with 827 additions and 19 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,20 @@
 [package]
 name = "ipasir-loading"
+authors = ["Emmanuel Lonca <[email protected]>"]
+license = "GPL-3.0-or-later"
 version = "0.1.0"
+description = "Load shared libraries of IPASIR compatible SAT solvers."
+categories = ["external-ffi-bindings", "science"]
+keywords = ["sat", "solver", "satisfiability", "ipasir"]
+repository = "https://github.com/crillab/ipasir-loading"
 edition = "2021"
+rust-version = "1.58.1"
+
+[lints.rust]
+missing_docs = "warn"
+
+[lints.clippy]
+pedantic = { level = "warn", priority = -1 }
 
 [dependencies]
 anyhow = "1.0.93"