1. 14 Jan, 2019 8 commits
  2. 12 Jan, 2019 1 commit
    • Luc Maisonobe's avatar
      Improved javadoc. · 0b386fbe
      Luc Maisonobe authored
      The previous explanation for multi-threading and propagation set up for
      fixing #479 was incomplete. The fact is that propagators cannot be
      called from several threads at once (they do preserve some internal
      state), but they CAN be used in multi-threaded applications as long as
      one propagator is only called from one thread. We even have a helper
      class for that: PropagatorsParallelizer.
      
      Fixes #479
      0b386fbe
  3. 11 Jan, 2019 6 commits
  4. 10 Jan, 2019 1 commit
  5. 09 Jan, 2019 5 commits
  6. 08 Jan, 2019 9 commits
  7. 07 Jan, 2019 1 commit
  8. 31 Dec, 2018 1 commit
  9. 27 Dec, 2018 2 commits
  10. 20 Dec, 2018 6 commits