Liking cljdoc? Tell your friends :D

lwb Logic WorkBench

The Logic WorkBench (lwb) comprises tools for propositional, predicate, and linear temporal logic. It is written in Clojure.

lwb is a playground, it's work in progress.

Documentation

Revisions

  • 1.0.1 [2018-01-31] First published version on Clojars
  • 1.0.2 [2018-02-16] Improved use of macroexpand-1
  • 1.0.4 [2018-06-14] Improved model found in sat for predicate logic

Latest version on Clojars Clojars Project

License

Copyright (C) 2014 - 2018 by Burkhardt Renz, Technische Hochschule Mittelhessen (THM). Contributors see documentation.

Distributed under the Eclipse Public License, the same as Clojure.

lwb uses

  • SAT4J, licensed under both the Eclipse Public License and the GNU LGPL licence,
  • kodkod, licensed under the MIT License,
  • JavaBDD, licensed under the GNU LGPL,
  • LTL2Buchi, licensed under the NASA Open Source Agreement (NOSA), version 1.3.

Dependencies

lwb uses kodkod and LTL2Buchi. Both libraries are not published in a maven repository. To use these libraires and the function in lwb that depend on them, proceed as follows:

  1. Download the libraries from the web sites kodkod and LTL2Buchi respectively or create the libraries from esb-lwb/kodkod or esb-lwb/ltl2buchi

  2. Put the libraires into your local maven repository with the command lein localrepo install, using the localrepo plugin for leiningen - see project.clj.

Can you improve this documentation?Edit on GitHub

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close