Issues

• Add boolean algebra toCNF functionality with button

  enhancementJavaReact
  danielbinder/LogiVis#53 · Filter by author danielbinder opened on Mar 14, 2024
  

• Fix model tracer for multiple start states

  bugJava
  danielbinder/LogiVis#49 · Filter by author danielbinder opened on Mar 1, 2024

• Set output type of graph to svg

  enhancementReact
  danielbinder/LogiVis#43 · Filter by author danielbinder opened on Jan 29, 2024
  1

  

• Create feature stepping through solution

  enhancementReact
  danielbinder/LogiVis#34 · Filter by author danielbinder opened on Jan 18, 2024
  

• Write hash comparison for report files

  enhancementJava
  danielbinder/LogiVis#27 · Filter by author danielbinder opened on Dec 28, 2023
  

• Refactor index.tsx -> index.jsx

  ReactRefactoring
  danielbinder/LogiVis#18 · Filter by author danielbinder opened on Nov 17, 2023
  

• Create tutorial recording and playback feature

  enhancementReact
  danielbinder/LogiVis#17 · Filter by author danielbinder opened on Nov 15, 2023

• Rewrite Simplify

  JavaReactRefactoring
  danielbinder/LogiVis#15 · Filter by author danielbinder opened on Nov 15, 2023

• Top right buttons on model description and graph are not scaling the correct amount

  bug
  danielbinder/LogiVis#13 · Filter by author danielbinder opened on Nov 9, 2023