Skip to content
@esb-lwb

esb-lwb Logic Workbench

Home of Logic Workbench lwb

Popular repositories Loading

  1. lwb lwb Public

    Logic Workbench, a Clojure toolkit for propositional, predicate and linear temporal logic

    Clojure 25 6

  2. lwb-gui lwb-gui Public

    A simple GUI for the Logic Workbench

    Clojure 3

  3. ltl2buchi ltl2buchi Public

    Forked from fraimondi/ltl2buchi

    Java

  4. kodkod kodkod Public

    Forked from emina/kodkod

    Kodkod solver for relational logic

    Java

  5. lwb-ui lwb-ui Public

    User Interface for lwb

    Clojure 1

  6. lwb-ui-bin lwb-ui-bin Public

    Clojure 1

Repositories

Showing 6 of 6 repositories
  • kodkod Public Forked from emina/kodkod

    Kodkod solver for relational logic

    esb-lwb/kodkod’s past year of commit activity
    Java 0 MIT 23 0 0 Updated Nov 9, 2022
  • lwb Public

    Logic Workbench, a Clojure toolkit for propositional, predicate and linear temporal logic

    esb-lwb/lwb’s past year of commit activity
    Clojure 25 6 0 0 Updated Nov 9, 2022
  • lwb-gui Public

    A simple GUI for the Logic Workbench

    esb-lwb/lwb-gui’s past year of commit activity
    Clojure 3 0 0 0 Updated Nov 9, 2022
  • lwb-ui Public

    User Interface for lwb

    esb-lwb/lwb-ui’s past year of commit activity
    Clojure 0 1 0 0 Updated Jan 15, 2020
  • lwb-ui-bin Public
    esb-lwb/lwb-ui-bin’s past year of commit activity
    Clojure 0 1 0 0 Updated May 18, 2019
  • ltl2buchi Public Forked from fraimondi/ltl2buchi
    esb-lwb/ltl2buchi’s past year of commit activity
    Java 0 2 0 0 Updated Jan 5, 2017

Top languages

Loading…

Most used topics

Loading…