diff --git a/README.md b/README.md
index 61b19ed..47329fc 100644
--- a/README.md
+++ b/README.md
@@ -19,3 +19,34 @@ get all animals to the other side.
 * Wolves eat foxes.  
 * Foxes eat chickens.  
 * Chickens eat worms.  
+
+## Solution
+
+The problem is solved using Answer Set Planning in
+[DLV](https://www.dlvsystem.it/dlvsite/dlv-download/) with the planning
+frontend. The planning frontend can be invoked with the `-FP` switch.
+
+The command to run the solver is
+
+```bash
+dlv -FP -n=1 -stats -planlength=7 -planminactions=1 -planmaxactions=1 crossing.plan crossing.bk
+```
+
+```
+STATE 0: boat_here, here(wolf1), here(wolf2), here(fox), here(chicken), here(worm)
+ACTIONS: crossTogether(chicken,fox)
+STATE 1: here(wolf1), here(wolf2), -here(fox), -here(chicken), here(worm), -boat_here
+ACTIONS: cross(fox)
+STATE 2: here(wolf1), here(wolf2), here(fox), -here(chicken), here(worm), boat_here
+ACTIONS: crossTogether(fox,worm)
+STATE 3: here(wolf1), here(wolf2), -here(fox), -here(chicken), -here(worm), -boat_here
+ACTIONS: cross(chicken)
+STATE 4: here(wolf1), here(wolf2), -here(fox), here(chicken), -here(worm), boat_here
+ACTIONS: crossTogether(wolf1,wolf2)
+STATE 5: -here(wolf1), -here(wolf2), -here(fox), here(chicken), -here(worm), -boat_here
+ACTIONS: cross(fox)
+STATE 6: -here(wolf1), -here(wolf2), here(fox), here(chicken), -here(worm), boat_here
+ACTIONS: crossTogether(chicken,fox)
+STATE 7: -here(wolf1), -here(wolf2), -here(fox), -here(chicken), -here(worm), -boat_here
+PLAN: crossTogether(chicken,fox); cross(fox); crossTogether(fox,worm); cross(chicken); crossTogether(wolf1,wolf2); cross(fox); crossTogether(chicken,fox)
+```