Commits · 33799fbd90c7c4fcf456945b427fb114b74de3ca · VIGNET Pierre / cadbiom · GitLab

14 Feb, 2017 21 commits
- Forgotten changes · 33799fbd
  VIGNET Pierre authored Feb 14, 2017
  
  33799fbd
- Fix proper list index + pythonic code · 034e801b
  VIGNET Pierre authored Feb 14, 2017
  
  034e801b
- Improve extract_frontier_values(): pythonic code, limit func calls · 15b4017a
  VIGNET Pierre authored Feb 14, 2017
  
  15b4017a
- C++ API in unflatten() · 2f783745
  VIGNET Pierre authored Feb 14, 2017
  
  2f783745
- Call C++ API · ae4ca084
  VIGNET Pierre authored Feb 14, 2017
  
  ae4ca084
- get_unshift_code(): better algo; no more used by unflatten · 80ae3ca5
  VIGNET Pierre authored Feb 14, 2017
  
  80ae3ca5
- Efficient comprehension list · 1c5602f6
  VIGNET Pierre authored Feb 14, 2017
  
  1c5602f6
- fix typo · 758a4444
  VIGNET Pierre authored Feb 14, 2017
  
  758a4444
- __msolve_constraints() : Proper debugging & efficient comprehension list · bb1917f8
  VIGNET Pierre authored Feb 14, 2017
  
  bb1917f8
- Efficient comprehension list in __shift_initial() & __shift_final() · 8fdb0d23
  VIGNET Pierre authored Feb 14, 2017
  
  8fdb0d23
- Rewrite __backward_init_dynamic() in better pythonic code · c5bdda40
  VIGNET Pierre authored Feb 14, 2017
  
  c5bdda40
- Rewrite __backward_code() in better pythonic code · a4bfd17a
  VIGNET Pierre authored Feb 14, 2017
  
  a4bfd17a
- C++ API in __forward_init_dynamic() · 3a865904
  VIGNET Pierre authored Feb 14, 2017
  
  3a865904
- C++ API in __forward_code() (no more used in __forward_init_dynamic()) · eb6efcb2
  VIGNET Pierre authored Feb 14, 2017
  
  eb6efcb2
- C++ API in __shift_invariant() · 7f05e596
  VIGNET Pierre authored Feb 14, 2017
  
  7f05e596
- Rewrite __m_shift_clause with comprehension list · 40119bcc
  VIGNET Pierre authored Feb 14, 2017
  
  40119bcc
- C++ API in __shift_clause() · 1b913055
  VIGNET Pierre authored Feb 14, 2017
  
  1b913055
- C++ API in __shift_dynamic() · 428d6225
  VIGNET Pierre authored Feb 14, 2017
  
  428d6225
- C++ API in __load_solver() · 12767ac5
  VIGNET Pierre authored Feb 14, 2017
  
  12767ac5
- fix typos · 6cdd8c95
  VIGNET Pierre authored Feb 14, 2017
  
  6cdd8c95
- Fix typos · 91045d41
  VIGNET Pierre authored Feb 14, 2017
  
  91045d41
13 Feb, 2017 3 commits
- Temporary ability to stop after 3 solutions for benchamarking; add pycallgraph · 6ff7665f
  VIGNET Pierre authored Feb 13, 2017
  
  6ff7665f
- Remove abusive & dangerous try/except · 9adb7b58
  VIGNET Pierre authored Feb 13, 2017
  
  9adb7b58
- Update makefile for the new entry point · b6e3c782
  VIGNET Pierre authored Feb 13, 2017
  
  b6e3c782
08 Feb, 2017 3 commits
- Rename entry point of cadbiom command line · de7dc8e1
  VIGNET Pierre authored Feb 08, 2017
  
  de7dc8e1
- Move cam search to an independant script file; Comment old main func · 82aa96f7
  VIGNET Pierre authored Feb 08, 2017
  
  82aa96f7
- Add merge_cams module to argparse; fix bug in solution_repr call · 9e7301bc
  VIGNET Pierre authored Feb 08, 2017
  
  9e7301bc
07 Feb, 2017 1 commit
- Improve logging on not Debug mode; comprehension lists during the build of solver's clauses · 19ade83b
  VIGNET Pierre authored Feb 07, 2017
  
  19ade83b
31 Jan, 2017 6 commits
- Fix bug for the delimiter in python 2.7... · 69661b04
  VIGNET Pierre authored Jan 31, 2017
  
  69661b04
- Fix bug for multiple files · 141706c6
  VIGNET Pierre authored Jan 31, 2017
  
  141706c6
- Add python futures imports · e40b8da8
  VIGNET Pierre authored Jan 31, 2017
  
  e40b8da8
- Add method to merge cams to csv file · 4baa096e
  VIGNET Pierre authored Jan 31, 2017
  
  4baa096e
- Optimization of the number of processes for 8 threads per solver · 3118a54d
  VIGNET Pierre authored Jan 31, 2017
  
  3118a54d
- Fix sort method: same as in solution_sort file · 91e5f249
  VIGNET Pierre authored Jan 31, 2017
  
  91e5f249
26 Jan, 2017 2 commits
- Send set of files · 78187caf
  VIGNET Pierre authored Jan 26, 2017
  
  78187caf
- Add method to generate a formula whith combinations: negate explicitly other elements in the set · 48687051
  VIGNET Pierre authored Jan 26, 2017
  
  48687051
25 Jan, 2017 2 commits
- Timestamp for logs · 8ef40598
  VIGNET Pierre authored Jan 25, 2017
  
  8ef40598
- Add Logging of clauses passed to the solver · 861f0f18
  VIGNET Pierre authored Jan 25, 2017
  
  861f0f18
23 Jan, 2017 2 commits
- cadbiom real_study command · 560322d7
  VIGNET Pierre authored Jan 23, 2017
  
  560322d7
- Add script for the cluster env · b2f118fd
  VIGNET Pierre authored Jan 23, 2017
  
  b2f118fd