Explorations in pure reasoning algorithms with Clojure.
me.fogus/reinen-vernunft {:mvn/version "0.0.2"}
Modify your Leiningen dependencies to include reinen-vernunft:
:dependencies [[me.fogus/reinen-vernunft "0.0.2"] ...]
Add the following to your pom.xml
file:
<dependency>
<groupId>me.fogus</groupId>
<artifactId>reinen-vernunft</artifactId>
<version>0.0.2</version>
</dependency>
Namespaces under the wip sub-ns are works in progress and should only be used for experimentation. It is expected that these implementations will change frequently and may disappear altogether.
clj -X:dev:test
Copyright © 2017-2025 Fogus
Distributed under the Eclipse Public License version 2.0