Artifacts using Kotlin Libraries Bill of Materials (267)
Sort by:Popular

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
Last Release on Sep 22, 2025
JSON and YAML serialization support for logic terms and clauses
Last Release on Sep 22, 2025
Multi-platform library for representing and manipulating Binary Decision Diagrams
Last Release on Sep 22, 2025
a module containing feature flag helpers
Last Release on Jun 6, 2022

Relocated → app.cash.wisp » wisp-feature
Core Library for AuthenticID's SDKS.
Last Release on Sep 18, 2025
Resolution-agnostic API for probabilistic logic solvers
Last Release on Sep 22, 2025
Resolution-agnostic API for probabilistic logic solvers
Last Release on Sep 22, 2025
Customisable, JavaFX-based GUI for probabilistic logic solvers
Last Release on Sep 22, 2025
Quickstart3
Last Release on Jun 6, 2025
Parsing facilities for logic terms and clauses out of Prolog standard syntax
Last Release on Sep 22, 2025