foliage 0.1.0

Abstract syntax tree for first-order logic with integer arithmetics
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

[package]
authors = ["Patrick Lühne <patrick@luehne.de>"]
categories = ["data-structures", "science"]
description = "Abstract syntax tree for first-order logic with integer arithmetics"
documentation = "https://github.com/potassco/foliage"
edition = "2018"
homepage = "https://github.com/potassco/foliage"
keywords = ["logic"]
license = "MIT"
name = "foliage"
readme = "README.md"
repository = "https://github.com/potassco/foliage"
version = "0.1.0"