#logic-programming #set #navigation #weighted #faceted

savan

core library for answer set navigation

5 unstable releases

new 0.3.2 Nov 1, 2024
0.3.1 Jul 15, 2024
0.3.0 Mar 19, 2024
0.2.0 Jan 18, 2024
0.1.0 Sep 13, 2023

#4 in #weighted

Download history 120/week @ 2024-07-14 49/week @ 2024-07-28 7/week @ 2024-09-15 28/week @ 2024-09-22 12/week @ 2024-09-29 1/week @ 2024-10-06 15/week @ 2024-10-13 1/week @ 2024-10-20 59/week @ 2024-10-27

76 downloads per month
Used in 2 crates

MIT license

46KB
1K SLoC

Crates.io build workflow test workflow

savan - an answer set navigation library

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

Dependencies

~12MB
~258K SLoC