dusa
GPL-3.0-onlyDusa is an implementation of [finite-choice logic programming](https://arxiv.org/abs/2405.19040), which takes ideas from logic programming in both Datalog and answer set programming.
95
Security score
0 known advisories in v0.1.6
Weekly downloads
—
Unpacked size
658.1 kB
Dependencies
0
Last publish
1 year ago
Security advisories
No known vulnerabilities affect v0.1.6.