To run our stable-unstable implementation, you need
* gringo3 https://sourceforge.net/projects/potassco/files/gringo/3.0.5/
* lp2normal http://www.tcs.hut.fi/Software/asptools/download.shtml
* so2grounder research.ics.aalto.fi/software/sat/sat-to-sat/so2grounder.shtml (see also instructions on this page: make sure satgrnd is in your path)
* sat-to-sat and its linker http://research.ics.aalto.fi/software/sat/sat-to-sat/index.shtml

In the file run-internal.sh, you should set the links to the above tools correctly. 

THen you can call 

run.sh <test> <generate> <instance>

Where 
* <test> is a gringo3 specification specifying the test program
* <generate>  is a gringo3 specification specifying the generate program
* <instance> is a gringo3 specification containing an instance. For grounding, <instance> will be combined with both above programs to obtain two ground programs. Then, the stable-unstable semantics will be applied to the two ground programs


Examples can be found in the "tests" directory. 


