https://github.com/drwadu/savan
answer set navigation library
https://github.com/drwadu/savan
answer-set-programming logic-programming
Last synced: 23 days ago
JSON representation
answer set navigation library
- Host: GitHub
- URL: https://github.com/drwadu/savan
- Owner: drwadu
- Created: 2023-09-07T13:57:29.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-02-14T09:06:24.000Z (about 1 year ago)
- Last Synced: 2026-03-18T05:19:47.211Z (about 1 month ago)
- Topics: answer-set-programming, logic-programming
- Language: Rust
- Homepage:
- Size: 98.6 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
[](https://crates.io/crates/savan)


# 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).