potassco/clinguin

Issues

• Handle display

  #157 opened 8 months ago by susuhahnml
  0

• Render only changes

  #96 opened 2 years ago by susuhahnml
  0

• Menu bar order

  #171 opened 5 months ago by susuhahnml
  0

• API

  #163 opened 7 months ago by susuhahnml
  0

• Loader changes to error when connection lost

  #175 opened 4 months ago by susuhahnml
  0

• SVG wrong scaling

  #168 opened 5 months ago by alexl4123
  0

• Error in angular/graph_coloring example

  #161 opened 6 months ago by rtaupe
  3

• Error in tkinter/sudoku_single_shot example

  #162 opened 6 months ago by rtaupe
  1

• minor about docs

  #165 opened 6 months ago by javier-romero
  1

• another minor at the docs

  #166 opened 6 months ago by javier-romero
  1

• Reload

  #158 opened 8 months ago by susuhahnml
  0

• Horizontal flex

  #124 opened 8 months ago by susuhahnml
  0

• Web Frontend

  #137 opened 8 months ago by alexl4123
  0

• Mutilple policies

  #97 opened 9 months ago by susuhahnml
  1

• Having #show <> lines in the encoding raises an unrelated "element not found" error

  #113 opened 9 months ago by TamaraAtanasoska
  11

• Model iteration

  #121 opened 9 months ago by susuhahnml
  0

• Add linter

  #122 opened 9 months ago by susuhahnml
  0

• Extend multiple backends

  #127 opened 9 months ago by susuhahnml
  0

• Separate Height and Width

  #123 opened 9 months ago by susuhahnml
  3

• Drag and Drop

  #126 opened a year ago by susuhahnml
  0

• Installation Documentation

  #132 opened 9 months ago by alexl4123
  0

• Raise File Not Found error on File Not Found

  #133 opened 9 months ago by alexl4123
  0

• Flex layout preserve declarative programming aspect

  #134 opened 9 months ago by alexl4123
  1

• Required dependency: zlib

  #116 opened 10 months ago by rtaupe
  5

• addition of new element type: Scrollbar

  #118 opened 10 months ago by alexpieper
  1

• Example: Instance generation

  #95 opened 2 years ago by susuhahnml
  0

• Refactor basic tests

  #135 opened 10 months ago by alexl4123
  1

• Text input

  #136 opened 10 months ago by susuhahnml
  1

• Context

  #144 opened 10 months ago by alexl4123
  0

• Interactivity

  #145 opened 10 months ago by alexl4123
  0

• Basic backend

  #125 opened a year ago by susuhahnml
  1

• Installation using setup.py fails

  #107 opened a year ago by Gnurro
  6

• Update clingo version

  #98 opened 2 years ago by susuhahnml
  0

• Formating functionality

  #120 opened a year ago by susuhahnml
  0

• Remove the variable model_class

  #79 opened a year ago by susuhahnml
  0

• Add readme to examples

  #83 opened a year ago by susuhahnml
  1

• Add menu bar option

  #94 opened a year ago by susuhahnml
  0

• Changing the background color of a button doesn't work on MacOS

  #111 opened a year ago by TamaraAtanasoska
  3

• Remove multi solver(backed)

  #80 opened 2 years ago by susuhahnml
  0

• Sending image

  #82 opened 2 years ago by susuhahnml
  1

• Logger passed as argument

  #81 opened 2 years ago by susuhahnml
  0

• ClingoBackend -> small refactoring

  #85 opened 2 years ago by alexl4123
  1

• clingo-backend -> next solution not working

  #87 opened 2 years ago by alexl4123
  1

• Window -> Add manual positioning

  #88 opened 2 years ago by alexl4123
  0

• `--show-syntax-full` not working

  #84 opened 2 years ago by alexl4123
  0

• Enhance font for label and button

  #92 opened 2 years ago by alexl4123
  0

• Wrong log levels

  #89 opened 2 years ago by alexl4123
  0

• Clingraph - Optimization - Example

  #90 opened 2 years ago by alexl4123
  0

• Documentation

  #91 opened 2 years ago by alexl4123
  0

• Logger refactoring

  #86 opened 2 years ago by alexl4123
  1