savan 0.1.0

core library for answer set navigation.
Documentation 
1
2
3
4
5

![build workflow](https://github.com/drwadu/savan/actions/workflows/build.yml/badge.svg)
![test workflow](https://github.com/drwadu/savan/actions/workflows/test.yml/badge.svg)
# savan - an answer set navigation library
This lib implements functionalities revolving around [weighted faceted answer
set navigation](https://doi.org/10.1609/aaai.v36i5.20506).