Skip to content

Commit

Permalink
small doc update
Browse files Browse the repository at this point in the history
  • Loading branch information
AlexandreDubray committed Aug 12, 2024
1 parent e76c1bc commit 8f5df05
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion doc/src/inference/search.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,13 @@ An exact inference strategy can be launched with the following command
[schlandals@schlandalspc]$ schlandals -i model.cnf
Estimated probability 1.1029004e-1 with bounds [1.1029004e-1 1.1029004e-1] found in 0 seconds
```
The solver output bounds on the probability and the time needed to solve the problem. If the model is specified as a [UAI file format](../modelization/bn/uai.md), then an example of command is
```bash
[schlandals@schlandalspc]$ schlandals -i model.uai --evidence "1 6 0"
Estimated probability 1.1029004e-1 with bounds [1.1029004e-1 1.1029004e-1] found in 0 seconds
```

The solver output bounds on the probability and the time needed to solve the problem. For larger problem, it is possible to add a timeout and the bounds might not be tight. For a complete description on how the bounds are computed, see [2].
For larger problem, it is possible to add a timeout and the bounds might not be tight. For a complete description on how the bounds are computed, see [2].
```bash
[schlandals@schlandalspc]$ schlandals -i large_model.cnf --timeout 30
Estimated probability 0.353553 with bounds [0.25 0.5] found in 30 seconds
Expand Down

0 comments on commit 8f5df05

Please sign in to comment.