Repositories list

• kodkod

  Public
  Kodkod solver for relational logic

  Java

  •

  MIT License

  •23•0•0•0•Updated Nov 9, 2022Nov 9, 2022

• lwb

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

  Clojure

  •6•25•0•0•Updated Nov 9, 2022Nov 9, 2022

• lwb-gui

  Public
  A simple GUI for the Logic Workbench

  Clojure

  •0•3•0•0•Updated Nov 9, 2022Nov 9, 2022

• lwb-ui

  Public
  User Interface for lwb

  Clojure

  •1•0•0•0•Updated Jan 15, 2020Jan 15, 2020

• lwb-ui-bin

  Public
  Clojure

  •1•0•0•0•Updated May 18, 2019May 18, 2019

• ltl2buchi

  Public
  Java

  •2•0•0•0•Updated Jan 5, 2017Jan 5, 2017