Commits · main · Ádrian Gama / Graph Visualizer · GitLab

Oct 02, 2023
- Create `CNF_to_str` function · 57594bfc
  Carlos Adriano authored Oct 02, 2023
  
  57594bfc
- `is_2satisfiable` method now returns assignments · 39fb7701
  Carlos Adriano authored Oct 02, 2023
  
  39fb7701
- `Vertex` labels can be integers · 7f19bf9e
  Ádrian Gama authored Oct 02, 2023
  
  7f19bf9e
- Simplify and move `is_2satisfiable` to `AdjacencyList` · 28905af3
  Ádrian Gama authored Oct 02, 2023
  
  28905af3
Oct 01, 2023
- Fix error in `strongly_connected_components` method · fb6d5d74
  Carlos Adriano authored Oct 01, 2023
  
  fb6d5d74
- Remove `low_link_values`method · 3de97534
  Carlos Adriano authored Oct 01, 2023
  
  3de97534
- Fix logic behind `strongly_connected_components`method · 39faa08d
  Carlos Adriano authored Oct 01, 2023
  
  39faa08d
Sep 29, 2023
- Change method name from `append_vertex` to `create_vertex` · c04ed10e
  Carlos Adriano authored Sep 29, 2023
  
  c04ed10e
- Change comment in the `is_2satisfiable` method · f774ebd9
  Carlos Adriano authored Sep 29, 2023
  
  f774ebd9
- Implements `is_2satisfiable` method · 4613f585
  Ádrian Gama authored Sep 29, 2023
  
  4613f585
Sep 27, 2023
- Fix typo · 2bc1893a
  Carlos Adriano authored Sep 27, 2023
  
  2bc1893a
Sep 17, 2023
- Fix internal `dfs` inside methods · 8b7f940f
  Ádrian Gama authored Sep 17, 2023
  
  8b7f940f
- Add `topological_sort` algorithm · 52d74b7b
  Ádrian Gama authored Sep 17, 2023
  
  52d74b7b
- strong_connected_components now return those components · 8a530e18
  Ádrian Gama authored Sep 17, 2023
  
  8a530e18
Sep 16, 2023
- Edge store they type em depth_first_search is executed · b357712f
  Ádrian Gama authored Sep 16, 2023
  b357712f
- Colorfy vertex instead of use an auxiliary struct in LLV and SCC · 843bf6f2
  Ádrian Gama authored Sep 16, 2023
  
  843bf6f2
- Vertices can be removed in a Graph and Adjacency List · 0cc8ccef
  Ádrian Gama authored Sep 16, 2023
  
  0cc8ccef
- Do not store first vertex item in Adjacency List when a edge is created · 50613bbf
  Ádrian Gama authored Sep 16, 2023
  
  50613bbf
- Change is_digraph to directed for better understanding · 2c412b77
  Ádrian Gama authored Sep 16, 2023
  
  2c412b77
- Split classes into modules and config global import · 153c8f43
  Ádrian Gama authored Sep 16, 2023
  
  153c8f43
Sep 15, 2023
- Add LLV and SCC algorithms · ba13b197
  Ádrian Gama authored Sep 15, 2023
  ba13b197
Aug 28, 2023
- Initial commit · 13706d89
  Ádrian Gama authored Aug 28, 2023
  
  13706d89