[![Crates.io](https://img.shields.io/crates/v/savan?label=crates.io%20%28lib%29)](https://crates.io/crates/savan)
![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).