diff --git a/Cargo.toml b/Cargo.toml index d62daa2..694d191 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -2,4 +2,12 @@ name = "foliage" version = "0.1.0" authors = ["Patrick Lühne "] +description = "Abstract syntax tree for first-order logic with integer arithmetics" +documentation = "https://github.com/potassco/foliage" +homepage = "https://github.com/potassco/foliage" +repository = "https://github.com/potassco/foliage" +readme = "README.md" +keywords = ["logic"] +categories = ["data-structures", "science"] +license = "MIT" edition = "2018"