From 8fe66915d7becd3c12d027f983a3ec60a7bc5a3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 5 Feb 2020 03:10:17 +0100 Subject: [PATCH] Add metadata to Cargo.toml --- Cargo.toml | 8 ++++++++ 1 file changed, 8 insertions(+) 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"