Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "reasoning" keyword
aspic
An ASPIC+ argumentation system and reasoning engine2 versions - 458 downloads total - 0 stars on GitHub - 1 maintainer
typeql_lang
TypeQL Language for Rust1 version - Latest release: 24 days ago - 1 dependent package - 318 downloads total - 212 stars on GitHub - 2 maintainers
typeql 2.28.1
TypeQL Language for Rust13 versions - Latest release: 24 days ago - 1 dependent package - 4.34 thousand downloads total - 212 stars on GitHub - 1 maintainer
lllllxxxxx 0.0.7
TypeQL Grammar for Rust7 versions - Latest release: over 2 years ago - 2.66 thousand downloads total - 212 stars on GitHub - 1 maintainer
rusty_planner 0.1.2
Artificial intelligence planning & reasoning library for Rust.3 versions - Latest release: 11 months ago - 1.33 thousand downloads total - 17 stars on GitHub - 1 maintainer
chronologic 0.7.3
Time constraint reasoning (scheduling...)27 versions - Latest release: 26 days ago - 15.8 thousand downloads total - 2 stars on GitHub - 1 maintainer
reachability_solver 0.2.0 💰
A linear reachability solver for directional edges4 versions - Latest release: over 4 years ago - 1.64 thousand downloads total - 6 stars on GitHub - 1 maintainer
linear_solver 0.2.2 💰
A linear solver designed to be easy to use with Rust enum expressions4 versions - Latest release: almost 5 years ago - 1 dependent package - 2.87 thousand downloads total - 32 stars on GitHub - 1 maintainer
monotonic_solver 0.5.0 💰
A monotonic solver designed to be easy to use with Rust enum expressions6 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 4.76 thousand downloads total - 44 stars on GitHub - 1 maintainer
Related Keywords
logic
4
solver
3
theorem
3
proving
3
database
3
strongly-typed
3
typeql
3
typedb
3
inference
3
polymorphic
3
polymorphism
3
query
3
query-language
3
type-system
3
ai
2
reachability
1
linear
1
monotonic
1
constraint
1
time
1
rust
1
planning-algorithms
1
pathfinding-algorithm
1
multi-agent-system
1
multi-agent-planning
1
artificial-intelligence
1
planning
1
knowledgeengineering
1
knowledgebase
1
grakn
1
graph
1
aspic
1
argumentation
1