crates.io "logic-programming" keyword
View the packages on the crates.io package registry that are tagged with the "logic-programming" keyword.
Top 5.8% on crates.io
18 versions - Latest release: 10 days ago - 9 dependent packages - 51 dependent repositories - 475 thousand downloads total - 413 stars on GitHub - 5 maintainers
z3-sys 0.9.4
Low-level bindings for the Z3 SMT solver from Microsoft Research18 versions - Latest release: 10 days ago - 9 dependent packages - 51 dependent repositories - 475 thousand downloads total - 413 stars on GitHub - 5 maintainers
Top 5.7% on crates.io
23 versions - Latest release: 10 days ago - 12 dependent packages - 55 dependent repositories - 427 thousand downloads total - 413 stars on GitHub - 5 maintainers
z3 0.13.3
High-level rust bindings for the Z3 SMT solver from Microsoft Research23 versions - Latest release: 10 days ago - 12 dependent packages - 55 dependent repositories - 427 thousand downloads total - 413 stars on GitHub - 5 maintainers
proto-vulcan-macros 0.1.6
Internal macro library for proto-vulcan6 versions - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 8.42 thousand downloads total - 12 stars on GitHub - 1 maintainer
proto-vulcan 0.1.6
A miniKanren-family relational logic programming language embedded in Rust7 versions - Latest release: almost 4 years ago - 8.43 thousand downloads total - 12 stars on GitHub - 1 maintainer
otter_sat 0.1.0
A library for determining the satisfiability of boolean formulas written in conjunctive normal fo...3 versions - Latest release: 5 months ago - 1.64 thousand downloads total - 0 stars on GitHub - 1 maintainer
savan 0.3.5
core library for answer set navigation.8 versions - Latest release: 5 months ago - 2 dependent packages - 7.03 thousand downloads total - 1 stars on GitHub - 1 maintainer
asdi 0.2.5
Another Simplistic Datalog Implementation (in Rust)7 versions - Latest release: over 3 years ago - 8.84 thousand downloads total - 4 stars on GitHub - 1 maintainer
ukanren 0.0.5 💰
Rust implementation of µKanren, a featherweight relational programming language.5 versions - Latest release: almost 4 years ago - 5.59 thousand downloads total - 113 stars on GitHub - 1 maintainer
ascent_macro 0.8.0
implementation of ascent macros16 versions - Latest release: 5 months ago - 1 dependent package - 1 dependent repositories - 90 thousand downloads total - 469 stars on GitHub - 1 maintainer
ascent 0.8.0
Logic programming in Rust17 versions - Latest release: 5 months ago - 2 dependent packages - 1 dependent repositories - 90.5 thousand downloads total - 469 stars on GitHub - 1 maintainer
ascent-byods-rels 0.8.0
data structures for Ascent relations, made possible by Ascent's BYODS feature7 versions - Latest release: 5 months ago - 7.71 thousand downloads total - 469 stars on GitHub - 1 maintainer
ascent_base 0.8.0
support library for the ascent package16 versions - Latest release: 5 months ago - 2 dependent packages - 2 dependent repositories - 90.6 thousand downloads total - 469 stars on GitHub - 1 maintainer
logru 0.4.1
A small, embeddable and fast interpreter for a subset of Prolog.4 versions - Latest release: 7 months ago - 1 dependent repositories - 3.51 thousand downloads total - 20 stars on GitHub - 1 maintainer
fall 0.1.2
An easily embeddable, futures-friendly logic engine.3 versions - Latest release: almost 7 years ago - 5.08 thousand downloads total - 9 stars on GitHub - 1 maintainer
kanren
Logic Programming in rust.2 versions - Latest release: 26 days ago - 2.53 thousand downloads total - 1 maintainer
Top 9.2% on crates.io
9 versions - Latest release: over 2 years ago - 2 dependent packages - 8 dependent repositories - 510 thousand downloads total - 452 stars on GitHub - 1 maintainer
crepe 0.1.8 💰
Datalog in Rust as a procedural macro9 versions - Latest release: over 2 years ago - 2 dependent packages - 8 dependent repositories - 510 thousand downloads total - 452 stars on GitHub - 1 maintainer
Related Keywords
rust
13
datalog
6
lattice
4
declarative-language
4
satisfiability
3
prolog
2
language
2
logic
2
ffi
2
solver
2
smt
2
ffi-bindings
2
rust-bindings
2
smt-solver
2
souffle
1
compiler
1
analysis
1
hacktoberfest
1
first-order-logic
1
static-analysis
1
union-find
1
data-structures
1
byods
1
ascent
1
program-analysis
1
procedural-macro
1
translator
1
minikanren
1
microkanren
1
functional-programming
1
kanren
1
relational-algebra
1
inference
1
answer-set-programming
1
sat-solver
1
rust-library
1
rust-crate
1
sat-sovler
1
sat
1
programming
1