Artifacts using kt-math-jvm version 0.7.0

Knowlege representation via logic terms and clauses

Provides various facilities required by the 2P-Kt project, including but not limited to caching, casting, lazy data structures, deques, tags, etc.