Commits · b10587932eb39d2e233022495cffed4796b39f07 · Radek Hušek / cdc-counting

Browse files

Jun 03, 2020
- graph_tools.definitions -> graph_tools.base · b1058793
  Radek Hušek authored Jun 3, 2020
  
  b1058793
- a few tests · 39f10629
  Radek Hušek authored Jun 3, 2020
  
  39f10629
- Ensure that .eval(CircuitDoubleCover) returns integer · a91caf43
  Radek Hušek authored Jun 3, 2020
  
  a91caf43
- add start_at parameter to GraphSequence.stabilize() · a68f602e
  Radek Hušek authored Jun 3, 2020
  
  a68f602e
- add helper scripts geng_json.sh and graph_to_json.sh · 88ba78e0
  Radek Hušek authored Jun 3, 2020
  
  88ba78e0
- doctests · 5e678135
  Radek Hušek authored Jun 3, 2020
  
  5e678135
- improve count_cdc · 1e6579e7
  Radek Hušek authored Jun 3, 2020
  1e6579e7
- split Gadget.eval() to eval() and eval_gadget() · d12c97fb
  Radek Hušek authored Jun 3, 2020
  
  d12c97fb
- Ensure that doctests in decorated classes are run · 3db33263
  Radek Hušek authored Jun 3, 2020
  
  3db33263
- Fix GroupFlow · ee852e13
  Radek Hušek authored Jun 3, 2020
  
  ee852e13
- refactor a lot · 350d0f6f
  Radek Hušek authored Jun 3, 2020
  
  350d0f6f
- add gitignore · ca38cb6c
  Radek Hušek authored Jun 3, 2020
  
  ca38cb6c
Jun 02, 2020
- add graph_to_gadget() · 19b9b8f7
  Radek Hušek authored Jun 2, 2020
  
  19b9b8f7
May 31, 2020
- test_exp_cdc.sh · 0a992383
  Radek Hušek authored May 31, 2020
  
  0a992383
- comment · 109eb374
  Radek Hušek authored May 31, 2020
  
  109eb374
- experiments/test_exp_cdc_upto_18.sh · 5395c810
  Radek Hušek authored May 31, 2020
  
  5395c810
- count_cdc.py: output json · 20386580
  Radek Hušek authored May 31, 2020
  
  20386580
- flower_snarks.py: some doctests · 30e80de5
  Radek Hušek authored May 31, 2020
  
  30e80de5
- flower_snarks.py: improve Flower sequence · 3e112718
  Radek Hušek authored May 31, 2020
  
  3e112718
- improve count_cdc.py · 923e2c4d
  Radek Hušek authored May 31, 2020
  
  923e2c4d
- utils.py: doctests · 01d06d80
  Radek Hušek authored May 31, 2020
  
  01d06d80
May 18, 2020
- Calculate CDC of Flower · 0d62ab57
  Radek Hušek authored May 18, 2020
  
  0d62ab57
May 13, 2020
- bump · 8adeb8fc
  Radek Hušek authored May 13, 2020
  
  8adeb8fc
May 08, 2020
- Values of MILP. · e0f86229
  Robert Samal authored May 8, 2020
  
  e0f86229
- test_cycle · 06433271
  Radek Hušek authored May 8, 2020
  
  06433271
Apr 30, 2020
- fix cdc counting · 146e9b38
  Radek Hušek authored Apr 30, 2020
  
  146e9b38
- bump · 1dac5bb5
  Radek Hušek authored Apr 30, 2020
  
  1dac5bb5
Nov 27, 2019
- speed up analyze-cycle · 8eaeea23
  Radek Hušek authored Nov 27, 2019
  
  8eaeea23
- analyze-cut · 5bb1656f
  Radek Hušek authored Nov 27, 2019
  
  5bb1656f
- bump · ee4b9b5d
  Radek Hušek authored Nov 27, 2019
  
  ee4b9b5d
Nov 07, 2019
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:radek/cdc · 51c31c54
  Radek Hušek authored Nov 7, 2019
  
  51c31c54
- fixes · 614f5849
  Radek Hušek authored Nov 7, 2019
  
  614f5849
Nov 06, 2019
- finish rewrite · 4b6687f5
  Radek Hušek authored Nov 6, 2019
  
  4b6687f5
- rewrite: part II · 13d09a3a
  Radek Hušek authored Nov 6, 2019
  13d09a3a
Nov 05, 2019
- rewrite: part I · a3c2a0a2
  Radek Hušek authored Nov 5, 2019
  a3c2a0a2
Oct 30, 2019
- parmap · f5e5ac47
  Radek Hušek authored Oct 30, 2019
  
  f5e5ac47
Oct 23, 2019
- fix test_graphs.py · 63c1d2ec
  Radek Hušek authored Oct 23, 2019
  
  63c1d2ec
Oct 22, 2019
- List of all cubic graphs up to 18 verts & tools to test them · 4fe4c4ae
  Radek Hušek authored Oct 22, 2019
  
  4fe4c4ae
Oct 20, 2019
- Fix Gadget::__str__ & __repr__ · da079a94
  Radek Hušek authored Oct 20, 2019
  
  da079a94
- Rewrite GraphSequenceBase::stabilize without symbolic calculations · 5b7aaf0c
  Radek Hušek authored Oct 20, 2019
  5b7aaf0c