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

          
[![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).