epiSAT -- A satisfiability solver for epistemic hierarchies.

So far, epiSAT lacks of any user interface and there is no paring
of external input files. All parsing has to be done by the C++-compiler.

episat_example.cc encodes an non-trivial example of an epistemic hierarchy,
see Fig.~1 of the submitted paper. It encodes Sigma' as described at the
end of section 2 together with the default goal "beConsiderate" whenever
possible.

Build minisat first.

> cd minisat
> make
> cd ..


To compile and run the example type

> make episat_example

and

> ./episat_example.


