Commits · master · ODK / mbgen

Dec 11, 2019
- Update CVT schema with MitM · 0025644e
  Katja Bercic authored 5 years ago
  
  0025644e
Oct 29, 2019
- Add more descriptions · 4411db2e
  Katja Bercic authored 5 years ago
  
  4411db2e
- Link additive bases to MitM · dc99a75b
  Katja Bercic authored 5 years ago
  
  dc99a75b
- Add descriptions to small groups · 037b001e
  Katja Bercic authored 5 years ago
  
  037b001e
- Add property descriptions · ab2dffb7
  Katja Bercic authored 5 years ago
  
  ab2dffb7
- Add the schema for small groups · dbb7590c
  Katja Bercic authored 5 years ago
  
  dbb7590c
- Update codecs (lattices, cvt) · ade568d0
  Katja Bercic authored 5 years ago
  
  ade568d0
- Rename maniplexes_schema -> regular_maniplexes_schema · 0e36249a
  Katja Bercic authored 5 years ago
  
  0e36249a
- Make lattice name opaque · b6895a2a
  Katja Bercic authored 5 years ago
  
  b6895a2a
- Make the graph property opaque · 710d2f6d
  Katja Bercic authored 5 years ago
  
  710d2f6d
- Add schema for the CVT census · 5e182913
  Katja Bercic authored 5 years ago
  
  5e182913
- Add maniplexes schema · 8ef75fbf
  Katja Bercic authored 5 years ago
  
  8ef75fbf
- Add lattice schema, fix regular polyhedra schema · 212c71dc
  Katja Bercic authored 5 years ago
  
  212c71dc
Oct 28, 2019
- Add additive bases schema · 21667f05
  Katja Bercic authored 5 years ago
  
  21667f05
Jul 17, 2019
- MDDL and demo schema files · cd3342de
  Katja Bercic authored 5 years ago
  
  cd3342de
Jun 14, 2019
- "automatically created by MMT" · c3ccbd99
  Tom Wiesing authored 5 years ago
  
  c3ccbd99