Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent 8f0e523 commit a83a8668521d8ea2e8fbfe521d414f1609ad5566
Showing with 2,300 additions and 4 deletions.
  1. +9 −0 ontologies/tripartite_incidence/2connected_graph.clif
  2. +9 −0 ontologies/tripartite_incidence/3edge-colouring.clif
  3. +9 −0 ontologies/tripartite_incidence/boundary_partitioning.clif
  4. +9 −0 ontologies/tripartite_incidence/bounded_dis2polytope.clif
  5. +9 −0 ontologies/tripartite_incidence/branchless_plane.clif
  6. +9 −0 ontologies/tripartite_incidence/bridgeless_gen_polytope.clif
  7. +9 −0 ontologies/tripartite_incidence/bridgeless_graph.clif
  8. +9 −0 ontologies/tripartite_incidence/bridgeless_polytope.clif
  9. +9 −0 ontologies/tripartite_incidence/bridgeless_simplicial.clif
  10. +9 −0 ontologies/tripartite_incidence/clique_intersect.clif
  11. +9 −0 ontologies/tripartite_incidence/coext_lines.clif
  12. +9 −0 ontologies/tripartite_incidence/complete_plane.clif
  13. +9 −0 ontologies/tripartite_incidence/complete_subgraph.clif
  14. +9 −0 ontologies/tripartite_incidence/conn_partitioning.clif
  15. +9 −0 ontologies/tripartite_incidence/coplanar_collinear.clif
  16. +9 −0 ontologies/tripartite_incidence/coplanar_double_collinear.clif
  17. +9 −0 ontologies/tripartite_incidence/coplanar_intersect.clif
  18. +9 −0 ontologies/tripartite_incidence/coplanar_intersect_exist.clif
  19. +9 −0 ontologies/tripartite_incidence/coplanar_line_existence.clif
  20. +9 −0 ontologies/tripartite_incidence/coplanar_point_intersect.clif
  21. +9 −0 ontologies/tripartite_incidence/cover_subgraph.clif
  22. +9 −0 ontologies/tripartite_incidence/cycle_cover_subgraph.clif
  23. +9 −0 ontologies/tripartite_incidence/cycle_path_plane.clif
  24. +9 −0 ontologies/tripartite_incidence/cycle_plane_subgraph.clif
  25. +9 −0 ontologies/tripartite_incidence/cycle_shadow_subgraph.clif
  26. +9 −0 ontologies/tripartite_incidence/cycle_subgraph.clif
  27. +9 −0 ontologies/tripartite_incidence/cyclic_plane.clif
  28. +9 −0 ontologies/tripartite_incidence/definitions/tripartite_def.clif
  29. +9 −0 ontologies/tripartite_incidence/diamond_cover_subgraph.clif
  30. +9 −0 ontologies/tripartite_incidence/diamond_planar.clif
  31. +9 −0 ontologies/tripartite_incidence/diamond_plane_subgraph.clif
  32. +9 −0 ontologies/tripartite_incidence/diamond_polycyclic.clif
  33. +9 −0 ontologies/tripartite_incidence/diamond_shadow_subgraph.clif
  34. +9 −0 ontologies/tripartite_incidence/diamond_subgraph.clif
  35. +9 −0 ontologies/tripartite_incidence/diamond_tripartite.clif
  36. +9 −0 ontologies/tripartite_incidence/dis2polytope.clif
  37. +9 −0 ontologies/tripartite_incidence/disjoint_planes.clif
  38. +9 −0 ontologies/tripartite_incidence/double_pendant.clif
  39. +9 −0 ontologies/tripartite_incidence/double_plane.clif
  40. +9 −0 ontologies/tripartite_incidence/double_point_intersect.clif
  41. +9 −0 ontologies/tripartite_incidence/edge_colouring.clif
  42. +9 −0 ontologies/tripartite_incidence/edge_plane_subgraph.clif
  43. +9 −0 ontologies/tripartite_incidence/edge_subgraph_incidence.clif
  44. +9 −0 ontologies/tripartite_incidence/extend_diamond_tripartite.clif
  45. +9 −0 ontologies/tripartite_incidence/face_intersect.clif
  46. +9 −0 ontologies/tripartite_incidence/flag_existence.clif
  47. +9 −0 ontologies/tripartite_incidence/fused_cycles.clif
  48. +9 −0 ontologies/tripartite_incidence/gen_subpolytope.clif
  49. +9 −0 ontologies/tripartite_incidence/generalized_polytope.clif
  50. +9 −0 ontologies/tripartite_incidence/graded_poset3.clif
  51. +9 −0 ontologies/tripartite_incidence/graph_partitioning.clif
  52. +9 −0 ontologies/tripartite_incidence/gromov.clif
  53. +9 −0 ontologies/tripartite_incidence/hanging_line.clif
  54. +9 −0 ontologies/tripartite_incidence/hilbert_plane.clif
  55. +9 −0 ontologies/tripartite_incidence/induced_subgraph.clif
  56. +9 −0 ontologies/tripartite_incidence/isolated_lines.clif
  57. +9 −0 ontologies/tripartite_incidence/isolated_planes.clif
  58. +9 −0 ontologies/tripartite_incidence/isolated_points.clif
  59. +9 −0 ontologies/tripartite_incidence/isolated_trivial_line.clif
  60. +9 −0 ontologies/tripartite_incidence/line_near_flag.clif
  61. +9 −0 ontologies/tripartite_incidence/line_near_planar_flag.clif
  62. +9 −0 ontologies/tripartite_incidence/line_plane_existence.clif
  63. +9 −0 ontologies/tripartite_incidence/loop_planar_simple_graphical.clif
  64. +9 −0 ontologies/tripartite_incidence/loop_planar_strict_graphical.clif
  65. +9 −0 ontologies/tripartite_incidence/matching_bridgeless_graph.clif
  66. +9 −0 ontologies/tripartite_incidence/matching_cyclic_plane.clif
  67. +9 −0 ontologies/tripartite_incidence/matching_subgraph.clif
  68. +9 −0 ontologies/tripartite_incidence/maximal_clique.clif
  69. +9 −0 ontologies/tripartite_incidence/mirror_line.clif
  70. +9 −0 ontologies/tripartite_incidence/mirror_plane.clif
  71. +9 −0 ontologies/tripartite_incidence/multipolycyclic_plane.clif
  72. +9 −0 ontologies/tripartite_incidence/neighbour_plane.clif
  73. +9 −0 ontologies/tripartite_incidence/nocoext_plane.clif
  74. +9 −0 ontologies/tripartite_incidence/nocoext_point_plane.clif
  75. +9 −0 ontologies/tripartite_incidence/noncollinear_coplanar.clif
  76. +9 −0 ontologies/tripartite_incidence/nonempty_point.clif
  77. +9 −0 ontologies/tripartite_incidence/nonisolated.clif
  78. +9 −0 ontologies/tripartite_incidence/nonisolated_line.clif
  79. +9 −0 ontologies/tripartite_incidence/nonisolated_plane.clif
  80. +9 −0 ontologies/tripartite_incidence/nonisolated_point.clif
  81. +9 −0 ontologies/tripartite_incidence/nonmatching_planar_shadow.clif
  82. +9 −0 ontologies/tripartite_incidence/nonmatching_plane_existence.clif
  83. +9 −0 ontologies/tripartite_incidence/nontrivial_plane.clif
  84. +9 −0 ontologies/tripartite_incidence/nontrivial_plane_existence.clif
  85. +9 −0 ontologies/tripartite_incidence/nontrivial_point.clif
  86. +9 −0 ontologies/tripartite_incidence/parallel_planes.clif
  87. +9 −0 ontologies/tripartite_incidence/partial_flag.clif
  88. +9 −0 ontologies/tripartite_incidence/partial_interior_point.clif
  89. +9 −0 ontologies/tripartite_incidence/partial_line_near_flag.clif
  90. +9 −0 ontologies/tripartite_incidence/partial_plane.clif
  91. +9 −0 ontologies/tripartite_incidence/partial_plane_near_flag.clif
  92. +9 −0 ontologies/tripartite_incidence/partial_point.clif
  93. +9 −0 ontologies/tripartite_incidence/partial_point_line_existence.clif
  94. +9 −0 ontologies/tripartite_incidence/partial_strong_line_near_flag.clif
  95. +9 −0 ontologies/tripartite_incidence/partial_strong_near_flag.clif
  96. +9 −0 ontologies/tripartite_incidence/partial_strong_plane_near_flag.clif
  97. +9 −0 ontologies/tripartite_incidence/partial_tripartite.clif
  98. +9 −0 ontologies/tripartite_incidence/partial_weak_line_plane_existence.clif
  99. +9 −0 ontologies/tripartite_incidence/partial_weak_point_line_existence.clif
  100. +9 −0 ontologies/tripartite_incidence/partition2polytope.clif
  101. +9 −0 ontologies/tripartite_incidence/partitioning.clif
  102. +9 −0 ontologies/tripartite_incidence/path_nonisolated_line.clif
  103. +9 −0 ontologies/tripartite_incidence/path_nonisolated_plane.clif
  104. +9 −0 ontologies/tripartite_incidence/path_nonisolated_point.clif
  105. +9 −0 ontologies/tripartite_incidence/path_plane.clif
  106. +9 −0 ontologies/tripartite_incidence/path_subgraph.clif
  107. +9 −0 ontologies/tripartite_incidence/pendant_exist.clif
  108. +9 −0 ontologies/tripartite_incidence/perfect_matching_subgraph.clif
  109. +10 −0 ontologies/tripartite_incidence/planar_double_collinear.clif
  110. +10 −0 ontologies/tripartite_incidence/planar_double_lines.clif
  111. +9 −0 ontologies/tripartite_incidence/planar_endo.clif
  112. +10 −0 ontologies/tripartite_incidence/planar_isolated.clif
  113. +9 −0 ontologies/tripartite_incidence/planar_line_pair.clif
  114. +9 −0 ontologies/tripartite_incidence/planar_parallel_lines.clif
  115. +9 −0 ontologies/tripartite_incidence/planar_shadow.clif
  116. +9 −0 ontologies/tripartite_incidence/planar_unique_line.clif
  117. +9 −0 ontologies/tripartite_incidence/plane_containment.clif
  118. +9 −0 ontologies/tripartite_incidence/plane_cover.clif
  119. +9 −0 ontologies/tripartite_incidence/plane_dependence.clif
  120. +9 −0 ontologies/tripartite_incidence/plane_existence.clif
  121. +9 −0 ontologies/tripartite_incidence/plane_intersect.clif
  122. +9 −0 ontologies/tripartite_incidence/plane_mutual_dependence.clif
  123. +9 −0 ontologies/tripartite_incidence/plane_near_flag.clif
  124. +9 −0 ontologies/tripartite_incidence/plane_near_linear_flag.clif
  125. +9 −0 ontologies/tripartite_incidence/plane_point_existence.clif
  126. +9 −0 ontologies/tripartite_incidence/plane_proper_dependence.clif
  127. +9 −0 ontologies/tripartite_incidence/plane_subgraph.clif
  128. +9 −0 ontologies/tripartite_incidence/point_cover.clif
  129. +9 −0 ontologies/tripartite_incidence/point_line_existence.clif
  130. +9 −0 ontologies/tripartite_incidence/point_near_linear_flag.clif
  131. +9 −0 ontologies/tripartite_incidence/point_near_planar_flag.clif
  132. +9 −0 ontologies/tripartite_incidence/point_plane_existence.clif
  133. +9 −0 ontologies/tripartite_incidence/point_tripartite.clif
  134. +9 −0 ontologies/tripartite_incidence/polycyclic_plane.clif
  135. +9 −0 ontologies/tripartite_incidence/polycyclic_subgraph.clif
  136. +9 −0 ontologies/tripartite_incidence/porcupine.clif
  137. +9 −0 ontologies/tripartite_incidence/quasi_graded.clif
  138. +9 −0 ontologies/tripartite_incidence/quasi_partitioning.clif
  139. +9 −0 ontologies/tripartite_incidence/scatter_graph_partitioning.clif
  140. +9 −0 ontologies/tripartite_incidence/shadow_cover_subgraph.clif
  141. +9 −0 ontologies/tripartite_incidence/simple_branchless_plane.clif
  142. +9 −0 ontologies/tripartite_incidence/simple_cycle_cover_subgraph.clif
  143. +9 −0 ontologies/tripartite_incidence/simple_cycle_path_plane.clif
  144. +9 −0 ontologies/tripartite_incidence/simple_cycle_path_subgraph.clif
  145. +9 −0 ontologies/tripartite_incidence/simple_cycle_plane_subgraph.clif
  146. +9 −0 ontologies/tripartite_incidence/simple_cycle_subgraph.clif
  147. +9 −0 ontologies/tripartite_incidence/simple_cyclic_plane.clif
  148. +9 −0 ontologies/tripartite_incidence/simple_dis2polytope.clif
  149. +9 −0 ontologies/tripartite_incidence/simple_multipolycyclic_plane.clif
  150. +9 −0 ontologies/tripartite_incidence/simple_polytope.clif
  151. +9 −0 ontologies/tripartite_incidence/simple_subpolytope.clif
  152. +9 −0 ontologies/tripartite_incidence/simple_triangle_cover_subgraph.clif
  153. +9 −0 ontologies/tripartite_incidence/simple_triangle_plane.clif
  154. +9 −0 ontologies/tripartite_incidence/simple_triangle_subgraph.clif
  155. +9 −0 ontologies/tripartite_incidence/simplicial_2complex.clif
  156. +9 −0 ontologies/tripartite_incidence/simplicial_subgraph.clif
  157. +9 −0 ontologies/tripartite_incidence/strict_planar_simple_graphical.clif
  158. +9 −0 ontologies/tripartite_incidence/strict_planar_strict_graphical.clif
  159. +9 −0 ontologies/tripartite_incidence/strict_plane.clif
  160. +9 −0 ontologies/tripartite_incidence/strict_subgraph.clif
  161. +9 −0 ontologies/tripartite_incidence/strong_cycle_path_plane.clif
  162. +9 −0 ontologies/tripartite_incidence/strong_cycle_path_subgraph.clif
  163. +9 −0 ontologies/tripartite_incidence/strong_edge_subgraph.clif
  164. +9 −0 ontologies/tripartite_incidence/strong_line_near_flag.clif
  165. +9 −0 ontologies/tripartite_incidence/strong_line_near_planar_flag.clif
  166. +9 −0 ontologies/tripartite_incidence/strong_near_flag.clif
  167. +9 −0 ontologies/tripartite_incidence/strong_near_linear_flag.clif
  168. +9 −0 ontologies/tripartite_incidence/strong_near_planar_flag.clif
  169. +9 −0 ontologies/tripartite_incidence/strong_nonisolated.clif
  170. +9 −0 ontologies/tripartite_incidence/strong_nonisolated_line.clif
  171. +9 −0 ontologies/tripartite_incidence/strong_nonisolated_plane.clif
  172. +9 −0 ontologies/tripartite_incidence/strong_nonisolated_point.clif
  173. +9 −0 ontologies/tripartite_incidence/strong_path_plane.clif
  174. +9 −0 ontologies/tripartite_incidence/strong_path_subgraph.clif
  175. +9 −0 ontologies/tripartite_incidence/strong_planar_simple_graphical.clif
  176. +9 −0 ontologies/tripartite_incidence/strong_planar_strict_graphical.clif
  177. +9 −0 ontologies/tripartite_incidence/strong_plane_near_flag.clif
  178. +9 −0 ontologies/tripartite_incidence/strong_plane_near_linear_flag.clif
  179. +9 −0 ontologies/tripartite_incidence/strong_point_near_linear_flag.clif
  180. +9 −0 ontologies/tripartite_incidence/strong_point_near_planar_flag.clif
  181. +9 −0 ontologies/tripartite_incidence/subgraph_incidence.clif
  182. +9 −0 ontologies/tripartite_incidence/subpair.clif
  183. +9 −0 ontologies/tripartite_incidence/subplane.clif
  184. +9 −0 ontologies/tripartite_incidence/subpolytope.clif
  185. +9 −0 ontologies/tripartite_incidence/thick_planes.clif
  186. +9 −0 ontologies/tripartite_incidence/thick_points.clif
  187. +9 −0 ontologies/tripartite_incidence/transitive_subplane.clif
  188. +9 −0 ontologies/tripartite_incidence/transitive_tripartite.clif
  189. +9 −0 ontologies/tripartite_incidence/triangle_exist.clif
  190. +9 −0 ontologies/tripartite_incidence/triangle_plane.clif
  191. +9 −0 ontologies/tripartite_incidence/triangulated.clif
  192. +9 −0 ontologies/tripartite_incidence/triclosure.clif
  193. +9 −0 ontologies/tripartite_incidence/tripartite.clif
  194. +9 −0 ontologies/tripartite_incidence/triple_planes.clif
  195. +9 −0 ontologies/tripartite_incidence/trivial_plane_line.clif
  196. +9 −0 ontologies/tripartite_incidence/twin_junction.clif
  197. +9 −0 ontologies/tripartite_incidence/twin_planes.clif
  198. +9 −0 ontologies/tripartite_incidence/unique_clique.clif
  199. +9 −0 ontologies/tripartite_incidence/unique_cycle_path_subgraph.clif
  200. +9 −0 ontologies/tripartite_incidence/unique_diamond.clif
  201. +9 −0 ontologies/tripartite_incidence/unique_path_subgraph.clif
  202. +9 −0 ontologies/tripartite_incidence/unique_plane.clif
  203. +9 −0 ontologies/tripartite_incidence/unique_plane_collinear.clif
  204. +9 −0 ontologies/tripartite_incidence/unique_plane_line.clif
  205. +9 −0 ontologies/tripartite_incidence/unique_plane_point.clif
  206. +9 −0 ontologies/tripartite_incidence/unique_point_plane.clif
  207. +9 −0 ontologies/tripartite_incidence/unique_simple_cycle_path_subgraph.clif
  208. +9 −0 ontologies/tripartite_incidence/unique_simple_path_subgraph.clif
  209. +9 −0 ontologies/tripartite_incidence/vertex_partitioning.clif
  210. +9 −0 ontologies/tripartite_incidence/vertex_subgraph_incidence.clif
  211. +9 −0 ontologies/tripartite_incidence/weak_branchless_plane.clif
  212. +9 −0 ontologies/tripartite_incidence/weak_coplanar_collinear.clif
  213. +9 −0 ontologies/tripartite_incidence/weak_coplanar_intersect.clif
  214. +9 −0 ontologies/tripartite_incidence/weak_cycle_cover_subgraph.clif
  215. +9 −0 ontologies/tripartite_incidence/weak_cycle_path_subgraph.clif
  216. +9 −0 ontologies/tripartite_incidence/weak_cycle_plane_subgraph.clif
  217. +9 −0 ontologies/tripartite_incidence/weak_cycle_shadow_subgraph.clif
  218. +9 −0 ontologies/tripartite_incidence/weak_cycle_subgraph.clif
  219. +9 −0 ontologies/tripartite_incidence/weak_cyclic_plane.clif
  220. +9 −0 ontologies/tripartite_incidence/weak_edge_colouring.clif
  221. +9 −0 ontologies/tripartite_incidence/weak_extend_diamond_tripartite.clif
  222. +9 −0 ontologies/tripartite_incidence/weak_face_intersect.clif
  223. +9 −0 ontologies/tripartite_incidence/weak_flag_existence.clif
  224. +9 −0 ontologies/tripartite_incidence/weak_induced_subgraph.clif
  225. +9 −0 ontologies/tripartite_incidence/weak_line_flag.clif
  226. +9 −0 ontologies/tripartite_incidence/weak_line_plane_existence.clif
  227. +9 −0 ontologies/tripartite_incidence/weak_line_point_existence.clif
  228. +9 −0 ontologies/tripartite_incidence/weak_nonisolated_line.clif
  229. +9 −0 ontologies/tripartite_incidence/weak_nonisolated_plane.clif
  230. +9 −0 ontologies/tripartite_incidence/weak_nonisolated_point.clif
  231. +9 −0 ontologies/tripartite_incidence/weak_plane_cover_line.clif
  232. +9 −0 ontologies/tripartite_incidence/weak_plane_cover_plane.clif
  233. +9 −0 ontologies/tripartite_incidence/weak_plane_flag.clif
  234. +9 −0 ontologies/tripartite_incidence/weak_plane_line_existence.clif
  235. +9 −0 ontologies/tripartite_incidence/weak_plane_point_existence.clif
  236. +9 −0 ontologies/tripartite_incidence/weak_plane_subgraph.clif
  237. +9 −0 ontologies/tripartite_incidence/weak_point_cover_line.clif
  238. +9 −0 ontologies/tripartite_incidence/weak_point_cover_point.clif
  239. +9 −0 ontologies/tripartite_incidence/weak_point_flag.clif
  240. +9 −0 ontologies/tripartite_incidence/weak_point_line_existence.clif
  241. +9 −0 ontologies/tripartite_incidence/weak_point_plane_existence.clif
  242. +9 −0 ontologies/tripartite_incidence/weak_polycyclic_subgraph.clif
  243. +9 −0 ontologies/tripartite_incidence/weak_subgraph_incidence.clif
  244. +9 −0 ontologies/tripartite_incidence/weak_subpair.clif
  245. +9 −0 ontologies/tripartite_incidence/weak_transitive_plane.clif
  246. +9 −0 ontologies/tripartite_incidence/weak_transitive_point.clif
  247. +9 −0 ontologies/tripartite_incidence/weak_triangulated.clif
  248. +9 −0 ontologies/tripartite_incidence/weak_tripartite.clif
  249. +9 −0 ontologies/tripartite_incidence/whitney.clif
  250. +10 −0 ontologies/velocity/velocity.clif
  251. +10 −0 ontologies/velocity/velocity_vector.clif
  252. +10 −0 ontologies/vision_cardworld/interior_depict.clif
  253. +13 −2 ontologies/weak_bipartite_process/definitions/weak_bipartite_process.clif
  254. +13 −2 ontologies/weak_bipartite_process/weak_bipartite_state.clif
@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/2connected_graph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/3edge_colouring.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/boundary_partitioning.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/bounded_dis2polytope.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/branchless_plane.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/bridgeless_gen_polytope.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/bridgeless_graph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/bridgeless_polytope.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/bridgeless_simplicial.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/clique_intersect.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/coext_lines.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/complete_plane.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/complete_subgraph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/conn_partitioning.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/coplanar_collinear.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/coplanar_double_collinear.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/coplanar_intersect.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/coplanar_intersect_exist.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/coplanar_line_existence.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/coplanar_point_intersect.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/cover_subgraph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/cycle_cover_subgraph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/cycle_path_plane.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/cycle_plane_subgraph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/cycle_shadow_subgraph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/cycle_subgraph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/cyclic_plane.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/definitions/tripartite_def.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/diamond_cover_subgraph.clif

@@ -1,3 +1,12 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/tripartite_incidence/diamond_planar.clif

Oops, something went wrong.

0 comments on commit a83a866

Please sign in to comment.
You can’t perform that action at this time.