savan 0.3.5

core library for answer set navigation.

Coverage
53.57%
30 out of 56 items documented0 out of 38 items with examples
Size
Source code size: 61.36 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 4.56 MB This is the summed size of all files generated by rustdoc for all configured targets
Links
drwadu/savan
1 0 0
crates.io
Dependencies
- clingo ^0.7.2 normal
- thiserror ^1.0 normal
Versions
Owners

savan - an answer set navigation library

This lib implements functionalities revolving around weighted faceted answer set navigation.