4.5 Application

In this section, we provide a small interactive application to test our solver for dominance constraints.

Click Here to start the application

A window will appear as shown below and you can type the literals of a description in the text area. The literals shown in the picture correspond to the example "every yogi has a guru".

When you have typed your literals, you can click on Solve and The Explorer window pops up and displays the search tree for all solutions to your description. For our example, we get the expected 2 readings:

Denys Duchier
Version 1.2.0 (20010221)