Skip to content
Snippets Groups Projects
  1. May 02, 2019
    • Hans-Peter Deifel's avatar
      Fix build on ocaml 4.06 · 706a376a
      Hans-Peter Deifel authored
      Ocaml swiched to immutable strings by default in this version. Cool should
      probably be ported to use those, but in the meantime we just disable the feature
      to make it build on newer ocaml versions.
      706a376a
  2. Jan 12, 2018
  3. Jan 11, 2018
  4. Nov 28, 2017
  5. Nov 27, 2017
  6. Nov 24, 2017
  7. Nov 16, 2017
  8. Nov 11, 2017
    • Hans-Peter Deifel's avatar
      Use non-local solver from pgsolver · fce43eeb
      Hans-Peter Deifel authored
      Looks like we misinterpreted the meaning of "local" in pgsolver. It
      only calculates the correct solution for the root node, but we
      need information about other nodes for intermediate
      propagation (on-the-fly game solving).
      
      Now we use a non-local solver, which works but is very slow at the
      moment because the game has to be constructed anew every time we
      propagate. => We should try to keep the game up-to-date as we expand
      nodes, if possible.
      fce43eeb
  9. Nov 09, 2017
  10. Nov 07, 2017
  11. Nov 02, 2017
  12. Oct 20, 2017
  13. Oct 19, 2017
Loading