savan 0.3.5

core library for answer set navigation.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

[package]
name = "savan"
version = "0.3.5"
edition = "2021"
authors = ["drwadu"]
description = "core library for answer set navigation."
repository = "https://github.com/drwadu/savan"
license = "MIT"

[lib]
name = "savan"
path = "src/lib.rs"
test = true
edition = "2021"       
crate-type = ["lib"]   

[dependencies]
clingo = { version = "0.7.2", features = ["static-linking"] }
thiserror = "1.0"