[package]
name=logic
tags=algo,lib
maintainer=Jean Privat <jean@pryen.org>
license=Apache-2.0
desc=First-order logic data structure and algorithm
[upstream]
browse=https://github.com/nitlang/nit/tree/master/lib/logic/
git=https://github.com/nitlang/nit.git
git.directory=lib/logic/
homepage=http://nitlanguage.org
issues=https://github.com/nitlang/nit/issues