1. 22 Jan, 2019 3 commits
  2. 21 Jan, 2019 3 commits
  3. 17 Jan, 2019 2 commits
  4. 15 Jan, 2019 7 commits
  5. 14 Jan, 2019 12 commits
  6. 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
  7. 11 Jan, 2019 10 commits
  8. 10 Jan, 2019 1 commit
  9. 09 Jan, 2019 1 commit