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

savan

core library for answer set navigation

5 unstable releases

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 27/week @ 2024-07-23 22/week @ 2024-07-30 5/week @ 2024-09-10 5/week @ 2024-09-17 28/week @ 2024-09-24 9/week @ 2024-10-01 5/week @ 2024-10-08 12/week @ 2024-10-15 103/week @ 2024-10-29 6/week @ 2024-11-05

125 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
~256K SLoC