Skip to content

Latest commit

 

History

History
51 lines (39 loc) · 1.96 KB

README.md

File metadata and controls

51 lines (39 loc) · 1.96 KB
Raw

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
  • 2.0.0 [2019-05-03] Combinatory Logic added
  • 2.1.2 [2019-11-04] Example Feature model
  • 2.1.3 [2019-12-22] Minor changes
  • 2.1.5 [2020-01-15] Minor changes
  • 2.2.0 [2020-11-13] Fix error in path calculation in LTL

License

Copyright (C) 2014 - 2021 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.