Permalink
Switch branches/tags
Nothing to show
Commits on Feb 5, 2017
  1. uhc sync

    atzedijkstra committed Feb 5, 2017
Commits on Jan 8, 2017
  1. elaboration of Lookup infrastructure, use in CHR solver, experiments …

    atzedijkstra committed Jan 8, 2017
    …with efficiency comparison
Commits on Jan 7, 2017
  1. uhc consistency

    atzedijkstra committed Jan 7, 2017
Commits on Dec 23, 2016
  1. version bump

    atzedijkstra committed Dec 23, 2016
Commits on Jul 17, 2016
  1. Merge pull request #10 from ivogabe/master

    atzedijkstra committed Jul 17, 2016
    Fix visualizer for queens example
Commits on Jul 15, 2016
Commits on Jun 16, 2016
  1. Fix extrarules test

    ivogabe committed Jun 16, 2016
Commits on Jun 14, 2016
Commits on Jun 9, 2016
  1. Merge paul/master

    ivogabe committed Jun 9, 2016
    Conflicts:
     - src/UHC/Util/CHR/Solve/TreeTrie/Visualizer.hs
  2. Renaming + Comments

    PJvGrol committed Jun 9, 2016
  3. Simplify imports

    ivogabe committed Jun 9, 2016
  4. Simplify code of visualizer

    ivogabe committed Jun 9, 2016
Commits on Jun 7, 2016
  1. Fix straight lines

    ivogabe committed Jun 7, 2016
  2. Improve graph ordering

    ivogabe committed Jun 7, 2016
Commits on Jun 2, 2016
  1. Change width

    ivogabe committed Jun 2, 2016
  2. Show fancy curves

    ivogabe committed Jun 2, 2016