Lib.rs

›
#set #navigation #logic-programming #weighted #functionalities #faceted #revolving

savan

core library for answer set navigation

Owned by drwadu.

3 releases (breaking)

0.3.0 Mar 19, 2024
0.2.0 Jan 18, 2024
0.1.0 Sep 13, 2023

#6 in #weighted

Download history 15/week @ 2024-01-17 3/week @ 2024-02-14 15/week @ 2024-02-21 24/week @ 2024-02-28 44/week @ 2024-03-06 85/week @ 2024-03-13 76/week @ 2024-03-20 15/week @ 2024-03-27 26/week @ 2024-04-03

202 downloads per month
Used in 2 crates

MIT license

41KB
939 lines

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
~254K SLoC