From a0cbb8704f4e8ac38a89295bebc297dffe6df349 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 5 Feb 2020 03:14:49 +0100 Subject: [PATCH] Clarify readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index b98ea17..55ca534 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,8 @@ # foliage [![GitHub release](https://img.shields.io/github/release/potassco/foliage.svg?maxAge=3600)](https://github.com/potassco/foliage/releases) [![crates.io](https://img.shields.io/crates/v/foliage.svg?maxAge=3600)](https://crates.io/crates/foliage) -> First-order logic with integer arithmetics +> First-order logic with integer arithmetics in Rust -This crate provides an abstract syntax tree for first-order formulas with integer arithmetics. +This Rust crate provides an abstract syntax tree for first-order formulas with integer arithmetics. ## Supported Formulas