Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

juliahub.com "logical-reasoning" keyword

LogicCircuits 0.3.3
Logic Circuits from the Juice library
11 versions - Latest release: over 2 years ago - 3 dependent packages - 49 stars on GitHub
Related Keywords
automated-reasoning 1 logic 1 julia 1 logic-circuits 1