Skip to content
Snippets Groups Projects
  1. Feb 01, 2019
  2. Jan 25, 2019
  3. Jan 22, 2019
  4. Jan 21, 2019
  5. Jan 17, 2019
  6. Jan 15, 2019
  7. Jan 14, 2019
  8. Jan 12, 2019
    • 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
  9. Jan 11, 2019
Loading