DITO: A CSP-based Diagnostic Engine

Contributing Authors: 
  • Yannick Pencolé

Instructions for running the experiment:

$ vagrant init SomeName http://recomputation.org/ecai2014/experiments/pencole/DitoFirstExperimen...
$ vagrant up

The experiment is setup to run automatically.

To run manually, ssh or login to the VM, go to the 'ecai14demo' subfolder and run ./runEcai14Demo.

The demo runs the diagnostic session performed on the circuit c6288 that
is fully explained in the ecai14 paper.